Research Projects
If you are a student interested in some of the topics below, feel free to get in touch.
Software Engineering
I am working on the following projects with my students.
- Decentralized Moderation in Social Media
- Trusted AI, Controlled Natural Languages
- Personal AI Assistants
- LLMs and Formal Methods
Logic and Category Theory
Projects close to the top are the ones I am more likely to be working on now.
- Quantale enriched category theory
- Coalgebraic/modal logic
- Duality for relations
- Interactive theorem proving
- Distributed systems
- Nominal string diagrams
- Nominal sets
- …