Project Participants

The ReacHard project associates participants from two French laboratories in computer science, the LaBRI in Bordeaux and the LSV in Cachan.

Alain Finkel
  • Alain Finkel is a professor at ENS Cachan and head of the INFINI axis. His current research interests include the theory of well-structured transition systems and the verification of various infinite-state systems. He is in charge of Project ReacHard.
Christoph Haase
  • Christoph Haase is a post-doctoral researcher at ENS Cachan funded by the ReacHard project. His research interests include model checking of infinite-state systems, knowledge representations (in particular description logics), and formal software verification.
Jérôme Leroux
  • Jérôme Leroux is a CNRS research fellow working on the verification of infinite state systems. His research activities focus on verification of counter systems based on symbolic representations. He is the main contributor of the tool FAST and its extension FASTer. He is in charge of the tool suite TaPAS.
Sylvain Schmitz
  • Sylvain Schmitz is an associate professor at ENS Cachan working on infinite systems and their applications in the INFINI axis. His current research interests include decidability issues and complexity bounds for well-structured transition systems, but also computational linguistics and formal languages.
Philippe Schnoebelen
  • Philippe Schnoebelen is a CNRS senior researcher in the INFINI axis with 15-year expertise in temporal logic model-checking and complexity of verification. Verification and complexity for well-structured systems are his main current research interests.
Grégoire Sutre
  • Grégoire Sutre is a CNRS research fellow working on formal modeling and model-checking of infinite-state systems. His current research activities focus on algorithmic verification of concurrent systems, including FIFO and counter systems.

Associated Participants

Michael Blondin
Stéphane Demri
Amit Kumar Dhar
Prateek Karandikar

Former Participants

Rémi Bonnet
Michaël Cadilhac
M. Praveen
  • M. Praveen is now an assistant professor at the Chennai Mathematics Institute. He was a post-doctoral researcher at LaBRI funded by the ReacHard project. His research interests include verification and complexity of infinite state systems, the interplay between parameterized complexity and logics.