Research Projects
If you are a student interested in some of the topics below, feel free to get in touch. More recent projects are closer to the top of the list.
Sofwtare Engineering Projects
Active
- AI Intentions, Alignment, Interpretability
- AI for Mathematics and Formal Methods
- Distributed Systems, Decentralized Social Media, Blockchain, Nearbytes
- Contracts for Energy, Digital Twins
- Wikipedia Governance
Sleeping
- Ideology Mapping
Past
- Neuron Models
- Trusted AI and Controlled Natural Languages
- Personal AI Assistants (pAIas)
- Chess XAI: Chess
Mathematics, Logic, and Category Theory
- Quantale enriched category theory
- Duality for relations
- Canonical Extensions
- Coalgebraic and modal logic
- Interactive theorem proving (Lean)
- Distributed systems
- Nominal string diagrams
- Nominal sets
Other Directions
- Philosophy of Computer Science