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.

Research

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.

Faculty

Bruno Oliveira [Site]
Assistant Professor, Group Leader

Grad Students (MPhil and PhD)

Interns

Final Year UG and MSc Students