Short C.V
2003-2007
PostDoc : Lande Team, IRISA/INRIA
2003-2007
PhD Thesis :
INRIA Sophia Antipolis (w. Gérard Boudol) /
Université Paris 7, PPS (w. Roberto Amadio)
2002-2003
DEA Programmation : preuves, sémantiques et langages,
Université Paris VII
2001-2002
Maîtrise Informatique, Université Paris XII
2000-2001
Licence Informatique, Université Paris XII
1998-2000
Deug Mias, Université Paris XII
Teaching
2004-2005
DEA RSD et Systèmes Embarqués, ESSI
Cours invité (1 séance):
Thread Réactifs, ULM : Typages et Effets
Licence Professionnelle Systèmes Informatiques et
Langages (LPSIL), IUT Nice
Cours d'introduction à la Programmation
Parallèle (12H de cours + 12H de TD/TP)
2002-2003
Maîtrise d'informatique, Université Paris 12 :
Algorithmes et Programmation Parallèle, TP
Maîtrise d'informatique, Université Paris 12 :
Langages pour la Programmation Parallèle, TP
Deug Mias 1, Université Paris 12 :
introduction à la programmation TD et TP
Deug Mias 2, Université Paris 12 :
programmation C TP