2026-2030. GraphMetrix (Graphs and metrics: structure, algorithms and applications), and International Research Network (IRN) supported by CNRS INS2I. PI: Florent Foucaud. Besides ReLaX, GraphMetrix involves teams in India (IIT Dharwad, BITS Pilani Goa, IISER Pune), in France (LaBRI, LIS, LIRMM, LIFO, IRIF, LAMSADE, I3S) as well as teams in Chile, Germany, Romania, Taiwan and the United Kingdom.
2025-2027. SMILeS (Synthesis with Multiple objectives, Imperfect information, and Learning in Stochastic systems). Indo-French project supported by CEFIPRA. Co-PI: Laurent Doyen (LMF) and Shibashis Guha (TIFR).
2022-2025. Arithmetic of the special values of automorphic L-functions. Indo-French project supported by CEFIPRA. Co-PI: Mahesh Kakde (IISc) and Jacques Tilouine (LAGA)
2022-2024. Formal verification of adaptive control algorithms. Indo-French project supported by CEFIPRA. Co-PI: Sreejith A.V. (IIT Goa) and Vincent Penelle (LaBRI).
2019-2022. Ticktac: Efficient techniques and tools for the verification and synthesis of real-time systems. ANR projet. PI: Ocan Sankur (IRISA).
2018-2020. EQUAVE, Efficient quantitative verification. Indo-French project supported by Inria and DST, under the CEFIPRA–CNRS–Inria targeted program on ICT.
2017-2019. IoTTTA, IoT software testing using timed automata. Indo-French project supported by CNRS and DST, under the CEFIPRA–CNRS–Inria targeted program on ICT.
2015-2017. AVeCSO, Automated Verification of concurrent Software. Indo-French project supported by CNRS and DST, under the CEFIPRA–CNRS–Inria targeted program on ICT.
2015-2017. RAITA, Reflection aware Icc analysis framework for Android apps. Indo-French project supported by CNRS and DST, under the CEFIPRA–CNRS–Inria targeted program on ICT.
2014-2016. AVeRTS, Algorithmic Verification of Real-Time Systems. Indo-French project supported by CNRS and DST, under the CEFIPRA–CNRS–Inria targeted program on ICT.
2012-2016. InForMeL, Indo-French Formal Methods Lab. Indo-French research program supported by CNRS, Université de Bordeaux, École Normale Supérieure de Cachan, Chennai Mathematical Institute, Institute of Mathematical Sciences and Indian Institute of Science.