Yannick Delbecque — site personnel

Recherche

[There is an english version of this page]

Je fait de la recherche en informatique théorique. Mon thème principal de recherche est l’étude des languages de programmation en informatique quantique. Je suis aussi intéressé par la sémantique de jeux en informatique et en logique.

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