Research thematic
My research focuses on formal methods, especially:
- Formal Verification: 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
Short CV
- A brief (completely outdated) summary of what I do can be found here (last update: 13/10/2021)
- CV (last update: 29/03/2023)
News
- (24/05) Our paper about Interval pomset with interface has been accepted to RAMICS 2024 ! link
- (18/03) Enzo Erlich joins Jeremy and I to work on HDA for its M2 Internship
- (mid-march) Our paper about HDTA has been accepted to Petri Nets 2024 ! (Program)
Sheduled talks
None for now.
See previous talks here.
Publications
We can find my publication list on DBLP.
- 2024: [ABCFZ24] Presenting Interval Pomsets with Interfaces (arxiv version), Submitted at RAMICS 2024, Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski;
- 2024:[ABCH24] Languages of Higher-Dimensional Timed Automata (arxiv version), Accepted at Petri Nets 2024, Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg;
- 2023:[CPS23] Layered controller synthesis for dynamic multi-agent systems (long version). FORMATS2023. Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier;
- 2020:[CJMM20] Computing maximally-permissive strategies in acyclic timed automata (long version). FORMATS2020. Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré ;
Implementation
I have the following projects:
- Robustness of Timed Automata: an implemenation, in Python, of an algorithm that computes the robustness of Timed Automata for delay pertubation. See PySymRobustness and PyNumRobustness in my Inria Gitlab Page here
- Layered controller synthesis project here with demo here. This project is written in Python.
- A current project to implement different algorithm of Gröbner Basis computation : here . This project is written in Ocaml.
Students
- Enzo Erlich : Master 2 Student March 2024 - August 2024, Language of Higher Dimensional Automata (co-supervision With Jérémy Ledent), now PhD student at LRE-IRIF.
Agenda
