Mes compétences :
Haskell
Informatique
Langages de programmation
Linguistique
Programmation
Prolog
Sémantique
Entreprises
Goldman Sachs
- Analyste developpeur
Paris2010 - 2013Front Office tech support pour le desk Fund Derivatives. Responsable de la production quotidienne de rapports de risque: collecte de donnees, processing, analyse type quant de la validite des resultats.
Knowledge Inside
- Ingenieur developpeur
Versailles2010 - 2010
University of Nottingham, UK
- Assistant de recherche
2007 - 2009Recherche en informatique fondamentale, portant sur la formalisation des exceptions et interruptions dans les langages de programmation fonctionnels, en s'appuyant sur des techniques mathematiques (relevant des categories et types) - etude de problemes typiques sur des structures arborescentes
- investigations sur l'emploi des monades dans l'expression des algorithmes, ainsi que dans le raisonnement autour de ceux-ci