Internships

March to July 2019. Amrita Suresh (B.E. from BITS Goa, MPRI in 2018-2019) will prepare her M.Sc. internship at LSV under the supervision of Alain Finkel.

September to December 2018. Ritam Raha (CMI) prepared his MSc internship at IRISA, under the joint supervision of Loïc Helouet and Nicolas Markey. He worked on quantitative aspects of opacity against an active opponent.

May 28 to July 27, 2018. Rajarshi Roy (CMI) was an intern at LSV, under the joint supervision of Benedikt Bollig (LSV) and Arnaud Sangnier (IRIF). He studied learning algorithms for concurrent systems modeled as product automata.

May 22 to July 18 2018. Suman Sadhukhan (CMI) did an internship at LSV, ÉNS Paris-Saclay, under the joint supervision of Alain Finkel and Philippe Schnoebelen. He worked on Minimal Coverability Set Algorithms over Petri Nets. More…

May 14 to July 13 2018. Sriram Yenamandra (CMI) had an internship at LSV, ENS Paris-Saclay, under the supervision of Laurent Doyen. He worked on graph-planning problems with expected finite horizon and fixed variance. More…

May to July 2018. Adwait Godbole (IIT Bombay) did an internship at IRISA under the supervision of Blaise Genest and Nathalie Bertrand (funded by the EQUAVE associated team). He studied population control. More…

May 2018 to November 2018. Balasubramanian A.R. (CMI) had his MSc internship at LaBRI, under the supervision of Igor Walukiewicz and Frédéric Herbreteau. He worked on decidability of the consensus problem for the heard-of model of computation for distributed algorithms. He will submit his MSc thesis in the Spring of 2019, and start a PhD thesis at TU München in the Fall.

May 10 to July 16, 2018. Aditya Raut (CMI) had an internship at LIGM, Université Paris-Est Marne-la-Vallée, under Laurent Bulteau‘s and Mathias Weller‘s supervision. He joined the ongoing research efforts on the Tree Containment Problem, that asks whether a given phylogenetic tree is contained in a given phylogenetic network. This NP-hard graph problem has important applications in phylogenetics. Aditya’s work yielded contributions to an ongoing software package capable of analyzing parameters in phylogenetic networks, as well as a draft for a research paper that will improve known results for the Cluster Containment Problem, which is closely related to Tree Containment .

May 10 to June 30, 2018. Malavika Mukundan (CMI) had an internship at LIGM, Université Paris-Est Marne-la-Vallée, under the joint supervision of Éric Colin de Verdière and Stéphane Sabourau (LAMA). She worked on the topology and the geometry of triangulated surfaces and 3-manifolds, and in particular on algorithmic and geometric problems related to systolic geometry. She also attended a one-week school on Low-dimensional geometry and topology: discrete and algorithmic aspects in Paris. More…

May 7 to July 20 2018. Suman Dutta (ISER Bhopal) did an internship at LSV, ENS Paris-Saclay, under the joint supervision of Alain Finkel and Serge Haddad. He worked on Sequential Recursive Petri Nets as WSTS. We studied Recursive Petri nets which extend Petri nets and contain stack automata. We showed that Recursive Petri nets are well structured transition systems for a new ordering and then termination and coverability are decidable.

May 7 to July 7, 2018.  Ashwani Anand (CMI) had an internship at IRIF, Université Paris Diderot, under the joint supervision of Thomas Colcombet (IRIF) and Sylvain Schmitz (LSV). He worked on vector addition systems with a polynomial restriction on the size of reachable configurations, as recently studied by Jérôme Leroux.  He considered how the notion extends in the case of branching or affine systems, and obtained refined bounds on the achievable degrees of the polynomials.

May 1 to July 27 2018. Ritam Raha (CMI) had an internship at LaBRI, under the joint supervision of Nathanaël Fijalkow and Vincent Penelle. He studied the algorithmic properties of finitely ambiguous weighted automata.

January 1 to April 30 2018. Varun Ramanathan (CMI) did his MSc internship at LaBRI, under the joint supervision of Diego Figueira and Pascal Weil. He worked on synchronous relations, a particular way of looking at transducers, and a logical framework to handle them.

January 1 to June 15 2018. Archit Chauhan (CMI) did his MSc internship at CMI, under the joint supervision of Alain Finkel and M. Praveen. He worked on Verifying flat FIFO systems through counter systems. We showed how to associate a reversal-bounded counter system to a flat FIFO system, opening the way to verifying FIFO systems by using the existing verification tools for counter systems.

May 16 to July 19 2017. Ritam Raha (CMI) had an internship at LSV, ENS Paris-Saclay, under Philippe Schnoebelen‘s supervision. He studied the piecewise testable complexity of words and its algorithmic evaluation. More…

May 15 to July 28, 2017. Debraj Chakraborty (CMI) had an internship at LaBRI, Bordeaux, under the supervision of Hugo Gimbert. He worked on asynchronous distributed games with causal memory. More…

May 11 to July 13, 2017. Umesh Kumar (IIT Bombay) had an internship at LSV, ENS Paris-Saclay, under Paul Gastin‘s supervision. He studied the robustness of timed automata in topological semantics and various subclasses of updatable timed automata. More…

May 10 to July 14, 2017. Kunal Mittal (IIT Bombay) had an internship at LSV, ENS Paris-Saclay, under Alain Finkel‘s supervision. He studied well-structured transition systems, and particularly Petri Nets and their extensions with special reset arcs. More…

May 9 to July 13, 2017. Aalok Thakkar (CMI) had an internship at LSV, ENS Paris-Saclay, under Stefan Haar‘s supervision. He worked on the semantics of mutation dynamics. More…

May 2 to July 13, 2017. Thejaswini K S (CMI) worked at LaBRI, Bordeaux, under the supervision of Frédéric Herbreteau and Igor Walukiewicz on on-the-fly algorithms for reachability and safety games. More…

May 2 to July 13, 2017. A.R. Balasubramanian (CMI) worked under the supervision of Nathalie Bertrand and Nicolas Markey at IRISA, in the research team SUMO, on the verification of parametric-size networks of identical components broadcasting messages to their neighbors. More…

February 01 to May 15, 2017. Adithya Murali (BITS Pilani, Hyderabad) had an internship at LaBRI, Bordeaux, under the supervision of Géraud Sénizergues. He worked on the small category of deterministic matrices. More…