Currently, this page is under construction and shows at the moment only an unstructured list of projects we did in the past. It will be updated soon.
We work on subjects related to algorithms used in the verification of dependable systems such as:
- automata on infinite structures
- temporal logics
- applied cryptography