The Indo-French Formal Methods Lab is an International Associated Laboratory aimed at fostering the scientific collaboration between India and France in the domain of formal methods and applications to the verification of complex systems.

Our research focuses on theoretical foundations of games, automata, and logics, three important tools in formal methods. We study applications to the verification of safety-critical systems, with an emphasis on quantitative aspects (time, cost, energy, etc.), concurrency, control, and security protocols.

The Laboratory was founded in 2012 by a consortium of researchers from the French Centre for Scientific Research CNRS, Ecole Normale Supérieure de Cachan, Université Bordeaux 1, the Institute of Mathematical Sciences Chennai, the Chennai Mathematical Institute, and the Indian Institute of Science Bangalore. It is directed by Paul Gastin and Madhavan Mukund.