The ReacHard project associates participants from two French laboratories in computer science, the LaBRI in Bordeaux and the LSV in Cachan.
- 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 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 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 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 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 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.
- 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.