[There is an english version of this page]
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.
Thèse de doctorat: Quantum Games as Quantum Types, Université McGill, 2009, sous la direction de Prakash Panangaden
Game semantics for quantum data, QPL 2008, ENTCS 270, 2011
Game semantics for quantum stores (with Prakash Panangaden), MFPS 2008, published in ENTCS 218, 2008
A quantum game semantics for the measurement calculus, QPL 2006, published in ENTCS 210, 2008
Information flow in Game Semantics GALOP 2005 workshop, ETAPS 2005
Mémoire de maitrise: Les catégories dérivées, Université de Montréal, 1999, sous la direction d’Abraham Broer