Master Internships (2021-2022)

Pdf presentation of 2021 topics

Below are few topics for research internships. They can be adapted to the academic level of the candidates.
Please contact us for more details.

  • Transient Analysis of Transport Networks [PDF] The objective of this internship is to study techniques to speed up quantitative evaluation of properties of transport systems (Metros, buses,....).

    Contact: loic.helouet@inria.fr

  • Bounded UDPOR (Unfolding based Dynamic Partial Order Reduction) [PDF] The objective of this internship is to study Unfolding based Dynamic Partial Order Reduction techniques for the verification of asynchronous distributed systems.

    Contact: thierry.jeron@inria.fr