Je suis actuellement en Suède à la recherche d'opportunités professionnelles
Mes compétences :
Informatique
Logique
Programmation
JavaScript
Java Platform
Linux
Entreprises
INRIA
- Postdoctorant
Le Chesnay2012 - 2014Recherche sur la notion de preuve informatique (comment la vérifier et la communiquer).
Plusieurs publications ont découlées de mon travail
Université Paris VII - Denis Diderot
- Doctorant
2007 - 2012Recherche en informatique fondamentale
Enseignement de divers langages de programmation (Java, OCaml, Python, javascript, ...) ainsi que des concepts informatiques à tous niveaux (L1 à M2)
Université Paris VII - Denis Diderot
- Doctorat en informatique
2007 - 2011J'effectue une thèse portant sur les fondements mathématiques des langages de programmation. En d'autres termes, un raffinement du lambda calcul avec ressources explicites.
