Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• S. Akshay (IIT Bombay, India) visited the team for one week.

• Christel Baier and Jakob Piribauer (TU Dresden, Germany) visited the SUMO team for one week in september.

• Khushraj Nanik Madnani (IIT Bombay, India) visited our team during two months.

• Laurie Ricker (Mount Allison University, Canada) visited the team during 2 months.

• Graeme Zinck (Mount Allison University, Canada) visited our team during four months. He obtained a 5000$ grant provided by Mitacs through a collaboration between Mount Allison University (L. Ricker) and Inria (Loïc Hélouët and Hervé Marchand). Two papers are in preparation (one regarding the enforcement of opacity for modular systems (submitted to Ifac World congress) and the other about the enforcement of concurrent secrets for multiple systems.

Internships

• Pierre Boudart, ENS Ulm, June-July 2019, Éric Fabre.

• Kritin Garg and Sharvik Mital, IIT Bombay, May-July 2019, Éric Fabre, Blaise Genest and Loïc Hélouët.

• Mathieu Poirier, ENS Rennes, May-July 2019, Éric Badouel and Adrian Puerto Aubel.

• Bastien Thomas, ENS Rennes, Feb-July 2019, Nathalie Bertrand.