PhDs

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.

Vaishnavi V. completed her Masters’ at CMI in 2022, and continued as a PhD student since August 2022. She is investigating zone-based algorithms for weighted timed automata, under the joint supervision of Patricia Bouyer-Decitre (LMF) and B. Srivathsan (CMI).

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 is a contribution to the study of the algorithmic complexity of two player zero-sum games of finite duration with imperfect information. Soumyajit will defend his dissertation on December 12, 2023, and then join University of Liverpool as a postdoc.

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). He defended his doctorate in August 2023.

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 (now LMF), Univ. Paris-Saclay, still with Alain Finkel, on the verification of FIFO machines, which she defended in 2023. Amrita joined Nobuko Yoshida’s group at the University of Oxford as a research associate.

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 held a CNRS fellowship designed to support the activities of ReLaX and made a long visit to CMI. His work is on limited persistance objects in the context of data shared across distributed systems. On March 31st, 2023, Adnane defended his dissertation: On improving the complexity of linearizable and wait-free implementations of concurrent objects by relaxing their specifications. Later that year, he joined ESI Group.

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. On December 1st, 2022, Abhishek defended his dissertation: Proof-nets for fixed-point logics and non-well-founded proofs. In 2023, Abhishek joined the University of Birmingham (UK) as a post-doc.

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.

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 was to study network congestion games from a verification view-point. He defended his dissertation on December, 9th 2021. He joined University of Haifa as a post-doctoral fellow, to work with Guy Avni.

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.