Registered user since Tue 9 Feb 2016
Assistant professor at CentraleSupelec.
Affiliation:LRI, CentraleSupelec, Univ. Paris Saclay
Research interests:Logic, Semantics, Functional programming, Category theory, Quantum computation
|APLAS 2021||Hybrid quantum-classical circuit simplification with the ZX-calculus|
|Show activities from other conferences|
Using general profile