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.
  

Associated Participants

• Michael Blondin is a PhD student under the supervision of Pierre McKenzie and Alain Finkel.
  

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

• A,mit Kumar Dhar is a PhD student under the supervision of Arnaud Sangnier and Stéphane Demri.
  

• Prateek Karandikar is a PhD student under the supervision of K. Narayan Kumar and Philippe Schnoebelen.
  

Former Participants

• Rémi Bonnet is a post-doctoral researcher at Oxford university. Rémi defended his PhD thesis in January 2013 at LSV.
  

• Michaël Cadilhac did his PhD under the supervision of Pierre McKenzie and Alain Finkel at Université de Montréal.
  

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