The ReacHard project associates participants from two French laboratories in computer science, the LaBRI in Bordeaux and the LSV in Cachan. The project is also actively seeking new collaborators; see our PhD and Master announcements.

• Stéphane Demri is a CNRS senior researcher, currently on leave at the Analysis of Computer Systems group at New York University, working on formal/logical methods for analyzing computer systems. His current research interest including model-checking, and analysis of systems with data, including counter systems. He is in charge of Project ReacHard.
  

• 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.
  

• 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.
  

• M. Praveen is 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.
  

• 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.