Académique

J'ai fait mon doctorat au school of computer science de l'Université McGill, sous la direction de Prakash Panangaden. 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: une première sémantique dénotationelle pour un language de programmation fonctionnel et quantique.

J'enseigne les mathéamtiques au cégep St-Laurent depuis la session d'automne 2007 (voir aussi le site pour mes étudiants).

Notes et publications

• Thèse de doctorat: Quantum Games as Quantum Types.
• Game semantics for quantum data, présenté lors de QPL 2008.
• Game semantics for quantum stores (avec Prakash Panangaden), présenté lors de MFPS 2008.
• A quantum game semantics for the measurement calculus, présenté lors de QPL 2006.
• Internal Traces and Abstract Measurements présenté lors de Logic in Computer Science 2005.
• Mon Thesis Proposal - Quantum Games as Quantum Types, tel que soumis à mon département pour mon doctorat.
• Notes (en anglais): Hypergraph unwinding theorem
• Solution de produits de compostion de jeux impartiaux - article en préparation avec Daniel Audet.
• Mon mémoire de maitrise.

Congrès, conférences et ateliers

2008

• Game semantics for quantum stores (avec Prakash Panangaden, Mathematical foundation of programming semantics 2008, Penn State University, Philadelphia.

2006

• Logical and Semantical Methods in Quantum Computation, Bellairs Institute, Barbade, 19 au 24 mars 2006. J'y ai donné une présentation intinulée Quantum Game Semantics.

2005

• Quantum Information, Computation and Logic Workshop au Perimeter Institute, Waterloo, Ontario, Canada, 17 au 22 juillet.
• Logic in Computer Science 2005, Chicago. J'y ai donné une présentation courte intitulée Internal Traces and Abstract Measurements.
• Foundations of Software Science and Computation Structures dans le cadre de ETAPS 2005 à Eidenburgh.
• Présentation Information and information flow in game semantics dans le cadre de l'atelier Games in logic and programing languages.

2004

• Category Theory OctoberFest - Université Mcgill, les 16 et 17 octobre 2004.
• Logical and Semantical Methods in Quantum Computation, April 12th to April 16th, Barbados.

2003

• Logic In Computer Science (LICS 2003) Workshop on Causality in Computer Science and Physics, June 26th, 2003, Ottawa, Canada.
• Logic In Computer Science (LICS 2003) June 22nd - 25th, 2003, Ottawa, Canada.
• Logic In Computer Science (LICS 2003), Workshop on Probability in AI, June 21st, 2003, Ottawa, Canada.
• Workshop on Concurrency and Mobility University of Ottawa, June 19-20, 2003.
• Workshop on Game Semantics, University of Ottawa, June 17, 2003.
• Workshop on Quantum Programming Languages, University of Ottawa, June 15-16, 2003.
• Fields Institute Summer School - Logic and Foundations of Computation, University of Ottawa, June 2-20, 2003.
• Mathematical Foundation of Programming Semantics (MFPS) March 19 - 22, 2003, Centre de recherches mathématiques
  Université de Montréal, Montréal, Canada.

2002

t

• Category Theory and Computer Science (CTCS'02) (and student preconference), August 15th-17th, University of Ottawa, 2002.
• École d'été sur l'informatique quantique, 16 - 20 juillet 2002, Centre de recherches mathématiques
  Université de Montréal.

2001

• Présentation de la logique et du théorème de Godel aux gagnant du concours mathématique de l'association mathématique du Québec au Collège Brébeuf.

2000

• M.Sc. Mathématique, Université de Montréal - Mémoire de maitrise sur les catégories dérivées sous la direction de Bram Broer.

1999

1998

• Conférence: Logique et Théorie des nombres à la Piaget lors du Colloque-ISM des étudiants avancés du Québec.

1997

• Independance du théorème de Goodstein dans l'arithmétique de Peano - conférence donnée dans le cadre du séminaire de théorie des ensembles au département de mathématiques de l'Université de Montréal.
• Membre du comité organisateur du Congrès Canadien des étudiants en mathématiques (CCÉM 1997), Université de Montréal.

1996

• Conférence Résolution de singularité dans les variétés algébriques nilpotantes, Congrès Canadien des étudiants en mathématiques (CCÉM 1996), 18 au 21 juillet 1996, Waterlo University.