Srinidhi N. completed his M.Sc. at CMI in 2020. That year, he had an internship at DI-ENS with Cezara Dragoi. In August 2020, Srinidhi started a PhD in cotutelle between CMI and Université de Paris, under the supervision of Mandayam Srivas (CMI) and Constantin Enea (IRIF).
Prince Matthew completed his M.Tech. Computer science at the University of Kerala and then enrolled at IIT Goa as a project student, working on image processing for satellite data. In 2019, he started a PhD at IIT Goa under the joint supervision of Sreejith A.V. (IIT Goa) and Vincent Penelle (LaBRI). His work is on decision problems for weighted one-counter automata.
Adnane Khattabi received his M.Eng. degree from Bordeaux INP in 2019. In December 2019, he started a PhD at Université de Bordeaux under the supervision of Alessia Milani. He holds a CNRS fellowship designed to support the activities of ReLaX and will make several long visits to CMI and IMSc. His work is on limited persistance objects in the context of data shared across distributed systems.
Balasubramanian A.R. completed his M.Sc. at CMI in 2019. Between 2017 and 2019, he had three internships in France: at IRISA with Nathalie Bertrand and Nicolas Markey on the verification of parametric-size networks of identical components; at LaBRI with Igor Walukiewicz and Frédéric Herbreteau on the problem of deciding whether a given distributed protocol formulated in the heard-of model solves the consensus problem (his M.Sc internship); and at LSV with Philippe Schnoebelen and Sylvain Schmitz on length-function theorems for the finite sets of d-dimensional vectors of natural numbers. In September 2019, Balasubramanian started a PhD thesis in cotutelle between TU München and Université de Bordeaux on decidability issues in parametrized systems, under the supervision of Javier Esparza and Igor Walukiewicz (LaBRI).
Ritam Raha completed his M.Sc. at CMI in 2019. Between 2017 and 2019, he had three internships in France: at LSV with Philippe Schnoebelen, where he worked on the piecewise testable complexity of words and its algorithmic evaluation; at LaBRI with Nathanaël Fijalkow and Vincent Penelle, where he studied the algorithmic properties of finitely ambiguous weighted automata; and at IRISA (his M.Sc. internship) with Loïc Helouet and Nicolas Markey, working on quantitative aspects of opacity against an active opponent. In October 2019, Ritam started a Ph.D. in cotutelle between Universiteit Antwerpen and Université de Bordeaux, on program and controller synthesis, and the use of machine learning techniques therein, under the direction of Guillermo Perez, Jérôme Leroux (LaBRI) and Nathanaël Fijalkow (LaBRI).
Amrita Suresh completed her B.E. at BITS Goa and received her M.Sc. at Université Paris-Saclay (MPRI) in 2018-2019. She was an intern at LSV in 2019 under the supervision of Alain Finkel. In 2019, she started a Ph.D. at LSV, Univ. Paris-Saclay, still with Alain Finkel, on the verification of FIFO machines.
Suman Sadhukhan completed his M.Sc. at CMI in 2018. He was an intern at LSV in 2018, under the direction of Alain Finkel and Philippe Schnoebelen. He started a Ph.D. at IRISA (SUMO team), Univ. Rennes, in October 2018. His advisors are Nathalie Bertrand, Nicolas Markey and Ocan Sankur. The goal of this thesis is to develop techniques for parameterized model checking of ad-hoc networks including mobility (and the evolution of the topology of the network over time).
Soumyajit Paul completed his Bachelors (Maths and Computer Science) and Masters (in Computer Science) at CMI in 2017. He then enrolled for a PhD at CMI, under the joint direction of B. Srivathsan (CMI) and Hugo Gimbert (LaBRI). In 2018, he modified his plans and enrolled as a full-time PhD student at Université de Bordeaux, under the joint direction of Olivier Ly and Hugo Gimbert (LaBRI), and B. Srivathsan (CMI). His thesis aims at developing software and methodologies for computing strategies for teams of mobile agents cooperating and/or competing with each other. The results will be applied in the context of the Robocup competition, in particular the simulation league and small size league. More…
Abhishek De completed his B.Sc and M.Sc at CMI in 2018, including an internship at LSV in 2016 under the supervision of Paul Gastin, supported by LIA INFORMEL (the ancestor of UMI ReLaX). In 2018, he started a PhD at Université Paris-Diderot, advised by Alexis Saurin at IRIF.
Adwitee Roy completed her M.Sc. at CMI in 2017. She then started a PhD at CMI, which is jointly directed by B. Srivathsan (CMI), Prakash Saivasan (IMSc) and Anca Muscholl (LaBRI). She works on the properties of timed systems.
Varun Ramanathan completed his M.Sc. at CMI in 2018. He was an intern at LaBRI in 2016 and 2018 under the direction of Pascal Weil, Thomas Place and Diego Figueira. In September 2018, he started a Ph.D. at LaBRI, Univ. Bordeaux. His advisors are Diego Figueira and Pascal Weil. He worked on synchronized relations, a particularly interesting class of rational transductions. On May 17, 2022, Varun Ramanathan defended his dissertation at LaBRI, Synchronous relations and complexity of query evaluation. He then joined Indexnine, a company in Pune.
Sayan Mukherjee completed his M.Sc (Applications of Mathematics) at CMI in 2016. He then enrolled as a pre-PhD student in Computer Science at CMI. In 2017, after successful completion of one year of course work in Computer Science, he is registered as a full-time PhD student in Computer Science at CMI. He is jointly advised by Paul Gastin (LSV, ENS Paris-Saclay) and B. Srivathsan (CMI). The subject of Sayan’s thesis is to develop efficient algorithms and tools for analysis of timed automata. More… On March 30, 2022, Sayan defended his dissertation at CMI. Reachability in Timed Automata with Diagonal Constraints and Updates. He joined Université Libre de Bruxelles as a post-doctoral fellow, to work with Jean-François Raskin.
Anirban Majumdar completed his M.Sc. at CMI in 2018. In September 2018, he started a Ph.D. at Université Paris-Saclay, jointly advised by Patricia Bouyer-Decitre at LSV and Nathalie Bertrand at Inria Rennes / IRISA. The goal of his thesis is to develop models and algorithms for games for distributed systems. More specifically, to explore games with a parameterized number of players, and to study various winning objectives and solution concepts. Thesis title: Verification and Synthesis of Parameterized Concurrent Systems. On September 30, 2021, Anirban defended his dissertation at Université Paris-Saclay. He then joined Université Libre de Bruxelles as a post-doctoral fellow, to work with Jean-François Raskin.
Govind R. completed his M.Sc. at CMI in 2017. In November 2017, he started a Ph.D. in cotutelle between CMI and LaBRI (Univ. Bordeaux). His advisors are B. Srivathsan at CMI, and Igor Walukiewicz and Frédéric Herbreteau at LaBRI. More details… On June 16, 2021, Govind defended his dissertation at Université de Bordeaux. Efficient methods for highly parallel timed systems. In the fall of 2021, he joined IIT Bombay as a postdoctoral fellow.
Sougata Bose completed his M.Sc. at CMI in 2017. He was an intern at LSV under Benedikt Bollig and Paul Gastin in 2015, with support from LIA INFORMEL. In October 2017, he started a Ph.D. at LaBRI (Univ. Bordeaux), under the direction of Anca Muscholl and Gabriele Puppis on the theory of transducers. More details… On March 12, 2021, Sougata defended his dissertation at Université de Bordeaux, Decision problems for word transducers with the origin semantic. In July 2021, he joined University of Liverpool as a postdoctoral fellow.
Vineeta Jain received her Master in Information Security from MANIT, Bhopal. In January 2016, she started a PhD in Computer Science and Engineering under the direction of Vijay Laxmi (MNIT Jaipur), Manoj Singh Gaur (IIT Jammu) and Mohamed Mosbah (LaBRI, Bordeaux INP). The work deals with Android app analysis mainly on the data storage mechanism of apps. It aims at detecting information leakage and proposing mitigation techniques. On December 3, 2020, she defended her dissertation at MNIT Jaipur, Analysis and Detection of Privacy Leaks in Android. She will start a post-doctoral fellowship in 2021 in Dresden is currently an Assistant Professor at the LNM Institute of Information Technology, Jaipur.
Shweta Bhandari completed her Masters at Devi Ahilya University in 2013. In January 2015, she started a PhD in Computer Science and Engineering under the direction of Manoj Singh Gaur (MNIT Jaipur) and Akka Zemmari (LaBRI, Univ. Bordeaux). Her work deals with malware analysis and detection of Android apps, and focuses on sensitive information exfiltration through Android apps. She also worked on a formal verification based tool for multi-app analysis to detect collusion in Android. On November 19, 2018, she defended her dissertation at MNIT Jaipur, Analysis Techniques for Intra and Inter App(s) in Android. She is currently an Assistant Professor at the LNM Institute of Information Technology, Jaipur.