Recherche

[There is an english version of this page]

Pendant mes études doctorales, j'ai fait de la recherche en informatique théorique. Mon thème principal de recherche était l'étude des languages de programmation en informatique quantique, sujet qui m'intéresse toujours. Je suis aussi intéressé par la sémantique de jeux en informatique et en logique de manière générale.

Ma thèse de doctorat Quantum Games as Quantum Types porte sur l'utilisation de jeux quantiques comme types quantiques pour les languages de programmation quantiques. Résultat principal: des sémantiques dénotationelles construites à l'aide de jeux quantiques pour deux $\lambda$-calculs quantiques.

Mes principaux intérêts de recherche sont la sémantique de jeux et l'informatique quantique.

Publications