Research thematic
My research focuses on formal methods, especially:
- Formal Verification: Monitoring, Lightweight method, Concurrent systems (Higher Dimension Automata & Higher Dimensional Timed Automata), Timed Automata, Robustness, Temporal Logic
- Algebra, Goemetry: Polyedra, Symbolic Optimisation, Well Quasi-order, Complexity, Algebraic Topology
- But also: Robotics, Multi-agents systems, SMT, RL
This year, I am currently working on:
- Lightweight method of verification, in particular Monitoring for Parametric Timed with Data Automata
- Model-Checking & Monitoring for Concurrenct Systems, in particular Higher Dimensional Timed Automata.
- On the study of iiPomsets and verification on Higher Dimensional Automata, in particular tempora logic.
- Robustness of Timed Systems, in particular Timed Automata
- Geometric properties of random groups, in particular hyperbolic properties.
I am very interested in real-life case study for verification, do not hesitate to reach me about this research topic.