PhDs

Suman Sadukhan 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 orientation 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…

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 and Diego Figueira. In September 2018, he started a Ph.D. at LaBRI, Univ. Bordeaux. His advisors are Diego Figueira and Pascal Weil.  He will work on synchronized relations, a particular way of looking at transducers.

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 IRISA. The goal of his thesis is to develop models and algorithms for games for distributed systems. We will explore games with a parameterized number of players, and study various winning objectives and solution concepts.

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…

Adwitee Roy completed her M.Sc. at CMI in 2017. She then started a PhD at CMI, which is jointly directed by Madhavan Mukund and Anca Muscholl (LaBRI). She works on the synthesis of deterministic negotiations and the equivalence of sound negotiations.

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.  The goal of his thesis is to develop Efficient methods for highly parallel timed systems. More…

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 tranducers. More…

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) 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.

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). The work deals with malware analysis and detection of Android apps. Her research work focuses on sensitive information exfiltration through Android apps. She is working on a formal verification based tool for multi-app analysis to detect collusion in Android.