Entreprises
Pas d'entreprise renseignée
Formations
-
Université Paris Diderot - Paris 7 (Paris)
Paris
2014 - 2018
Doctorat
Thèmes de recherche: concurrence, logique linéaire, langages de programmation, systèmes de types, réseaux de preuves
-
Université Paris Diderot - Paris 7 (Paris)
Paris
2013 - 2014
Master Parisien de Recherche en Informatique
-
Chatenay Malabry
2010 - 2014
Ingénieur
Réseau
Pas de contact professionnel