Registered user since Thu 12 Jan 2023
Name:Yue Li
Bio:
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
Personal website:https://yuelipicasso.github.io/
Research interests:Formal Logic
Contributions
| ProLaLa 2023 | Formalising Criminal Law in Catala | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile