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.