About us
Our research group investigates the logical and mathematical foundations of computer science. We seek to deepen the understanding of the essence, power and limitations of computing systems, while developing mathematical tools and efficient algorithms to tackle complex computational challenges. Our ultimate goal is to establish rigorous foundations for the robust specification, construction and verification of systems, ranging from software to hybrid dynamical systems.
Our current research activities span three major interrelated themes:
Logic, Semantics and Computation
- Model theory for non-classical logics such as spatial, temporal or description logics
- Calculi for formal deduction and automated reasoning
- Categorical semantics for algebraic composition
- Models of high-level computation
- Knowledge representation
- Mechanisation of proofs and logical operations
Formal Methods
- Automated theorem proving
- Synthesis and correctness-by-construction
- Verification of hybrid and autonomous systems
- Languages and frameworks for the formal specification of software systems
- Proof assistants and constraint solvers for certified solutions in safety-critical domains
Design and Analysis of Algorithms
- Graph algorithms
- Approximation algorithms
- Quantum distributed algorithms
We strive to combine mathematical rigour with practical impact, fostering innovation that bridges theoretical insightswith real-world computing systems. Our group actively welcomes collaborations and new researchers interested in advancing the foundations of computer science.
