I am Kwing Hei “Heili”¹ Li, a PhD student at Aarhus University under the supervision of Lars Birkedal.

Before that, I was a MPhil in Advanced Computer Science student at King’s College, University of Cambridge. Before that, I was a Computer Science with Mathematics undergraduate at Churchill College, University of Cambridge². In the past, I did research internships at the CaMLSys Lab and MPI-SWS.

I am interested in the design, implementation, and verification of tools for software engineering and programming languages, through techniques from type theory, program logic, and category theory. I also spend a fair amount of time thinking about formal verification, protocols for distributed systems, and donkeys.

My favourite mammal is the donkey.

Back to home page

---

“HeiLi managed to get everything a little bit wrong.”

- Feedback on my supervisions for Computer Networking

1. Pronounced as “Hailey”. ↩

2. I was one of the last people who did this combination since this was not an option anymore after my cohort! ↩