About HKU PL Group

We are a group of programming language researchers who study topics about functional language design, type theory, compilers and program analysis.


Our research interests cover a wide range of topics related to programming languages. We are creating a new experimental programming language, FCore. Check out our Github page for more ongoing projects.


Bruno Oliveira [Site]
Assistant Professor, Group Leader

Grad Students (PhD and MPhil)

Almuni (PhD and MPhil)

Former Lab Members