My main research interests are game semantics and quantum computing.
My Ph.D thesis, Quantum Games as Quantum Types discuss the use of quantum games as quantum types for quantum programming languages. Main result: denotational semantics constructed using quantum games for two quantum $\lambda$-calculi.
Publications
-
Thesis: Quantum Games as Quantum Types, McGill University, 2009 [supervisor Prakash Panangaden]
-
Game semantics for quantum data
QPL 2008, QPL 2008, published in ENTCS 270 issue 1, 2011 ( video of the presentation in QPL 2008 ) -
Game semantics for quantum stores (with Prakash Panangaden), MFPS 2008, publish 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
-
Memoir Les catégories dérivées (in french), Université de Montréal, 1999 [Supervisor: Abraham Broer]