Research
Specialisations
- Computational Theory and Mathematics
- Artificial Intelligence
- Geometry and Topology
Research topics
- Computability, Logic, AI Algorithms
- Logic, programming, and type systems
- Advanced Topology and Set Theory
- semigroups and automata theory
- Complexity and Algorithms in Graphs
- Publications
- 207
- Citations
- 4.6K
- h-index
- 27
- Papers, last 3 years
- 3
Members only · Free to join
Sign in to see the full profile
See their grants, open positions in their group, career history and colleagues — everything you need before you write to them.
- Research funding
- Similar professors
Free forever No credit card 30-second sign-up