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.
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
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]