Home Research Teaching Software

Yann Régis-Gianas

I am a maître de conférence in Computer Science at Paris 7 University (Denis Diderot). I am interested in typing, module systems, software verification and compilation. Here are my thesis, publications and talks and my resume. I am also a member of the πr² INRIA team

News

• Release : Pangoline 0.1.
• Event : "Seconde Journée Francilienne de Programmation" (co-organizer)
• Event : "Fête de la Science 2009" (organizer for the computer science department)
• Event : "1ère Journée Francilienne de Programmation" (co-organizer)