Michel Mauny
Responsable du groupe (nomination, accès restreint)
Contact
| Address: | ENSTA paris - U2IS 828, Boulevard des Maréchaux 91762 Palaiseau Cedex France |  |
| Office: | R222 | |
| Email: | ||
| Tel.: | +33 1 8187 2032 |
Offre d'emploi à pourvoir : post-doctorant sur le projet Secure-OCaml
Activités d'enseignement
- Dispense le cours INE11
- Responsable (avec F. Pessaux) de la filière de 3A Systèmes d'Information
- Responsable (avec F. Pessaux) du Mastère Spécialisé Architecture et Sécurité des Systèmes d'Information
- Responsable des cours : B9-1 B9-2 B9-3 B9-4 C1-1 C1-2 C1-3 D10-1 D10-2 D10-3 D10-4 EA319 IN400 IN405 IN410 IN420
Doctorants (en cours)
- Benoît Vaugon
- Çagdas Bozman (50%) avec Fabrice Le Fessant
- Thomas Blanc (50%), avec Pierre Chambard
- Vladimir Paun (10%) avec Bruno Monsuez)
Autres
- Membre du comité de pilotage du workshop OCaml.
- Représentant de l'ENSTA-paris au Comité de Valorisation de Digiteo.
- Président du comité de programme de OCaml 2013.