Short bio

I am Assistant Professor in the School of Computing of University of Kent (U.K.).

Research Area: Denotational Semantics of Programming Languages, Category Theory, Type Theory, Functional Programming, Guarded Recursion, Domain Theory, Recursion Schemes, Mathematical Logic.

Former Affiliations: Ph.D. student at ITU Copenhagen (Denmark) (2012-2016). Visiting Ph.D. at Aarhus University (2014-2015). Research Associate at University of Kent (2017-2020). Research Associate (RA) Imperial College London (2020-2022). Senior Research Associate at University of Kent (2022). I have an M.Sc. (cum laude) in Theoretical Computer Science and a B.Sc. in Computer Science from Università degli Studi di Udine (Italy).

Project Supervision (BSc, MSc, PhD)

I am looking for a PhD student. Here are some ideas for PhD topics. I also supervise undergrad projects in CS or Math. Here’s some ideas for undergrad thesis projects.

If you’re interested please reach out to me.

News

• [12/2025] Chentian Wu got awarded R.Creighton Buck Prize for Best Undergraduate Math Thesis on “Beck’s monadicity theorem”. Download the thesis here. Well done, Chentian!
• [06/2025] Accepted to ITP 25 with David Castro Perez and Michael Vollmer.

Publications

See full list of publications here.

Buy Me a Gift

If you fell like you want to buy me a gift here’s my Amazon’s wish list