I am a CNRS researcher at LORIA, MOCQUA team. My research area is Quantum Computing and related topics. [ see bio for details ]

 (New) 2 papers at LiCS’18: A Complete Axiomatisation of the ZXCalculus for Clifford+T Quantum Mechanics and Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
 (New) ERCIM special issue on quantum computing is available: https://ercimnews.ercim.eu/
Some contributions (here is a list of publications)
 A Generic Normal Form for ZXDiagrams and Application to the Rational Angle Completeness (with Emmanuel Jeandel and Renaud Vilmart), preprint.
 A Complete Axiomatisation of the ZXCalculus for Clifford+T Quantum Mechanics (with Emmanuel Jeandel and Renaud Vilmart), LiCS’18.
 Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics (with Emmanuel Jeandel and Renaud Vilmart), LiCS’18.
 A complete characterisation of AllversusNothing arguments for stabiliser states (with Samson Abramsky, Rui Soares Barbosa, Giovanni Carù) Phil. Trans. A Royal Society A 375: 20160385..
 Towards a Minimal Stabilizer ZXcalculus (with Miriam Backens and Harny (Quanlong) Wang) preprint.
 Determinism and Computational Power of Real Measurementbased Quantum Computation (with Luc Sanselme) FCT’17
 Contextuality in multipartie pseudotelepathy graph games (with Anurag Anshu, Peter Hoyer and Mehdi Mhalla) FCT’17
 ZXCalculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics (with Emmanuel Jeandel, Renaud Vilmart and Harny Wang) MFCS’17
 A complete characterisation of AllversusNothing arguments for stabiliser states (with Samson Abramsky, Rui Soares Barbosa, Giovanni Carù) QPL’17.
 YCalculus: A language for real Matrices derived from the ZXCalculus (with Emmanuel Jeandel and Renaud Vilmart) QPL’17
 Supplementarity is Necessary for Quantum Diagram Reasoning (with Harny (Quanlong) Wang) MFCS’16
 A Simplified Stabilizer ZXcalculus (with Miriam Backens and Harny (Quanlong) Wang) QPL’16
 Reversible causal graph dynamics (with Pablo Arrighi, Simon Martiel) RC’16
 On Weak Odd Domination and Graphbased Quantum Secret Sharing (with Sylvain Gravier, Jérôme Javelle, and Mehdi Mhalla) Theor. Comput. Sci. 598: 129137 (2015)
 Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms (with David Cattaneo) ISAAC’15
 Block Representation of Reversible Causal Graph Dynamics (with Pablo Arrighi and Simon Martiel) FCT’15
 Reversibility in the Extended Measurementbased Quantum Computation (with Nidhal Hamrit) RC’15
 Quantum Circuits for the Unitary Permutation Problem (with Stefano Facchini) TAMC’15
 Callbyvalue, callbyname and the vectorial behaviour of the algebraic lambdacalculus (with Ali Assaf, Alejandro DíazCaro, Christine Tasson, and Benoît Valiron) LMCS, vol. 10, issue 4
 The Parameterized Complexity of Dominationtype Problems and Application to Linear Codes (with David Cattaneo) TAMC’14
 Pivoting makes the zxcalculus complete for real stabilizers (with Ross Duncan), QPL’13
 Parameterized Complexity of Weak Odd Domination Problems (with David Cattaneo), FCT’13
 Access structure in a graph in higher dimension and applications to secret sharing protocols (with Anne Marin and Damian Markham), TQC’13
 Quantum Secret Sharing with Graph States (with Sylvain Gravier, Jérôme Javelle, and Mehdi Mhalla), MEMICS’12
 Graph States, Pivot Minor, and Universality of (X,Z)measurements (with Mehdi Mhalla), International Journal of Unconventional Computing
 On the Minimum Degree up to Local Complementation: Bounds and Complexity (with Jérôme Javelle and Mehdi Mhalla), WG’12
 New Protocols and Lower Bound for Quantum Secret Sharing with Graph States (with Jérôme Javelle and Mehdi Mhalla), TQC’12
 Optimal accessing and nonaccessing structures for graph protocols (with Sylvain Gravier, Jérôme Javelle, and Mehdi Mhalla)
 Classical versus Quantum Graphbased Secret Sharing (with Jérôme Javelle and Mehdi Mhalla)
 Completeness of algebraic CPS simulations (with Ali Assaf), DCM’11
 Which graph states are useful for quantum information processing? (with Mehdi Mhalla, Mio Murao, Masato Someya, Peter Turner), TQC’11
 Structural characterization of graph states for quantum information processing (with Mehdi Mhalla, Mio Murao, Masato Someya, Peter Turner), poster at QIP’2011
 Rewriting measurementbased quantum computations with generalised flow (with Ross Duncan), ICALP’10
 Environment and classical channels in categorical quantum mechanics (with Bob Coecke), CSL’10
 Equivalence of algebraic lambdacalculi (with Alejandro DiazCaro, Christine Tasson and Benoît Valiron), HOR’10
 Computational depth complexity of measurementbased quantum computation (with Dan Browne and Elham Kashefi), TQC’10
Grants
 ANR SoftQPro (ANR PRCE) PI [20172021]
 ANRNRF VanQuTe (ANR PRCIFrance/Singapore) [20182022]
 PIAGDN QuantEx (with AtosBull, CEA, LRI) [20172020]
 ECOS PA17C03 « QuCa » (with U. Quilmes, Inria, LIF, LRI) [20182019]
 JCQ Jeux combinatoires quantiques (CNRS PEPS) [2016]
 STICAmSud project FoQCoSS: Foundations of Quantum Computation: Syntax and Semantics [20162017]
 Univ. Lorraine – Région Lorraine project Calcul quantique par mesure, PI [20142015]
 CCQD Cryptographie et Calcul Quantiques Distribués (CNRS PEPS ICQ) [2013]
 GraphIQ (CNRSINS2I PEPS, PI) [20102011]
 QuAND (CNRSINS2I PEPS) [20102011]
 CausaQ (ANR Jeune Chercheur) [20102015]
Program committees
 QI’18 Quantum Interaction 2018 conference, Nice Sophia Antipolis, France.
 MCU’18 8th Conference on Machines, Computations and Universality, 2018, Fontainebleau, France.
 QPL’18 15th International Conference on Quantum Physics and Logic, 2018, Halifax, Canada.
 DCM’18 12th International Workshop on Developments in Computational Models, FLoC 2018, Oxford, UK.
 IQFA’17 8th IQFA’s Colloquium, 2017, Nice, France.
 QPL’17 14th International Conference on Quantum Physics and Logic, 2017, Nijmegen, the Netherlands.
 IQFA’16 7th IQFA’s Colloquium, 2016, Telecom ParisTech, Paris, France.
 QPL’16 13th International Conference on Quantum Physics and Logic, 2016, Glasgow, Scotland.
 AQIS’15 15th Asian Quantum Information Science Conference, August 2428, 2015 in Seoul, Korea.
 QPL’15 12th International Workshop on Quantum Physics and Logic, 2015, Oxford, UK.
 IQFA’15 6th IQFA’s Colloquium, 2016, Telecom ParisTech, Paris.
 STACS’14 Symposium on Theoretical Aspects of Computer Science, Lyon.
 QPL’14 11th International Workshop on Quantum Physics and Logic, June 46, 2014, Kyoto, Japan.
 ParQ’13 1st Workshop on Parallel Quantum Computing, Sept. 2013, Edinburgh.
 QPL’13 10th International Workshop on Quantum Physics and Logic, 1719 July 2013, Barcelona, Spain.
 AQIS’13 13th Asian Quantum Information Science Conference, August 2530, 2013 in Chennai, India.
 QPL’12 9th workshop on Quantum Physics and Logic, 1012 October 2012, Brussels, Belgium.
 FounQI’12 Foundational principles in Quantum Information, workshop associated to UCNC 2012, 78 Sept. 2012.
 AQIS’12 12th Asian Quantum Information Science Conference, August 2328, 2012 in Suzhou, China.
 Quantitative approaches @ LI’2012, February 2024 2012, Marseille, France.
 LI’2012 Logic and interactions 2012, 30 January to 2 March 2012, Marseille, France.
 QPL’11 8th workshop on Quantum Physics and Logic, 2729 October 2011, Nijmegen, the Netherlands.
 MEMICS’11 7th Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 1416 October 2011, Lednice, Czech Republic.
 DCM’10 Developments in Computational Models, Causality, Computations, and Physics, FLoC workshop, 0910 July 2010, Edinburgh.
 QPL’10 7th workshop on Quantum Physics and Logic, 2930 May 2010, Oxford.
 DCM’09 Developments in Computational Models, Computational Models From Nature, ICALP workshop, 11 July 2009, Rhodes, Greece.
 CEQIP’09 6th Central European Quantum Information Processing Workshop 14 June 2009, Jindřichuv Hradec, Czech Republic