September to December 2018. **Ritam Raha** (CMI) will prepare his MSc internship at IRISA, under the joint supervision of Loïc Helouet and Nicolas Markey. He will work 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 2018 to November 2018. **Balasubramanian A.R.** (CMI) is doing his MSc internship at LaBRI, under the supervision of Igor Walukiewicz and Frédéric Herbreteau. He is working on decidability of *the consensus problem for the heard-of model of computation for distributed algorithms*.

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…