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 receives 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 will start a PhD thesis in cotutelle between TU München and Université de Bordeaux on decidability issues in parametrised 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 will start a joint Ph.D. (cotutelle) between Universiteit Antwerpen and Université de Bordeaux, on program and controller synthesis, and the use of machine learning techniques therein, under the joint 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 will start 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…

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 is working on synchronized relations, a particularly interesting class of rational transductions.

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. More specifically, to explore games with a parameterized number of players, and to study various winning objectives and solution concepts.

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.

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