Yue Li

Registered user since Thu 12 Jan 2023

Name:Yue Li

Dr Li completed his PhD in Computer Science at Heriot­-Watt University in 2019. Since his PhD, he has had 3 years of experience as a researcher­ engineer at JetBrains. His research interests are Logic/relational programming languages such as Prolog, miniKanren, OCanren, λ­Prolog; and Functional programming languages, such as Scheme, Haskell, OCaml.

Country:United Kingdom
Affiliation:Heriot-Watt University, UK
Research interests:Formal Logic


ProLaLa 2023 Formalising Criminal Law in Catala
Show activities from other conferences

POPL 2023-profile
View general profile