Preuves, Programmes et Systèmes [ INRIA - πr² ]

Several members of πr² take part in the teaching staff of the Parisian Master of Research in Computer Science (MPRI).

Yann Régis-Gianas gives lectures in Functional programming and type systems.

If you are interested in doing an internship or a PhD thesis in our team, please contact us! You will information about PhD thesis in an INRIA team in the excellent dedicated web page of Xavier Leroy.