Évènements

• 15/07/18, ANR JCJC CoGITARe :
  Obtention d'une ANR Jeune chercheur, CoGITARe, débutant en Mars. Bourse de thèse à pourvoir, n'hésitez pas à me contacter.

Ma recherche

Je m'intéresse aux sémantiques opérationnelles et dénotationelles pour les langages de programmation fonctionnels. Plus concrètement, ma recherche gravite autour de trois axes de recherches majeurs et leurs interactions :

• Sémantiques quantitatives: construire des sémantiques et systèmes des types pour l'analyse de propriétés quantitatives, comme la probabilité d'un évènement, la complexité ou la séquentialité.
• Réécriture (d'ordre supérieur) probabiliste : Comprendre les notions de réductions et terminaisons Markoviennes. Plus précisément, je m'intéresse à la distinctions entre propriétés classiques et propriétés stochastiques de programmes probabilistes, de manière à tracter les preuves des premières depuis un cadre non-probabiliste.
• Les modèles du lambda-calcul pure: L'idée est d'étudier finement la notion de lambda-modèle et de lambda-théorie, en particulier ses interactions avec la théorie du calcul (étude des propriétés de calculabilité).

Stages et thèses

• 15/07/18: Je recherche un stagiaire et/on un thésard. Si vous êtes intéressés, jetez un oeuil à la page dédiée. Via le projet CoGITARe, on dispose d'une bourse de thèse à pourvoir pour septembre, n'hésitez pas à candidater.

CV