Marc de Visme - Showcase

I am an INRIA researcher in Computer Science, currently working at the Laboratory of Formal Methods of the Paris-Saclay University, within the Quantum Computation Structures team. I was a PhD student part of the Plume team in the LIP laboratory at ENS of Lyon. This thesis was an international joint supervision with the Computer Laboratory at the University of Cambridge. My supervisors and co-supervisors were Pierre Clairambault, Olivier Laurent and Glynn Winskel. My PhD manuscript can be found here: Quantum Game Semantics

Publications

• The Many-Worlds Calculus: Representing Quantum Control.. (To be published).
  with Kostia Chardonet, Renaud Vilmart and Benoît Valiron.
• Minimality in Finite-Dimensional ZX-Calculi. CSL25.
  with Renaud Vilmart.
• Non-deterministic, Probabilistic, and Quantum Effects Through the Lens of Event Structures.. APLAS24.
  with Vítor Fernandes and Benoît Valiron.
• Graphical Language with Delayed Trace: Picturing Quantum Computating with Finite Memory. LICS23.
  with Titouan Carette and Simon Perdrix.
• Full Abstraction for the Quantum Lambda Calculus. POPL20. [full] [ published] [slides]
  with Pierre Clairambault.
• Event Structures for Mixed Choice. CONCUR19. [full] [ published] [slides]
• Causal Unfolding. CALCO19. [pdf] [slides]
  with Glynn Winskel.
• Game Semantics for Quantum Programming. POPL19. [pdf] [slides]
  with Pierre Clairambault and Glynn Winskel.
• Intersection Types and Runtime Errors in the Pi-Calculus. POPL19. [pdf]
  with Ugo Dal Lago, Damiano Mazza and Akira Yoshimizu.
• Strategies with Parallel Causes. CSL17 [pdf]
  with Glynn Winskel.

Seminars and Talks

• 2020/11/12, Game Semantics for Quantum Programming. PPS Seminar. [slides]
• 2020/09/28, Quantum Game Semantics. PhD Defense. [slides] [ manuscript]

Contact