Simon Perdrix Simon Perdrix (simon dot perdrix at pps dot jussieu dot fr)

LFCS, University of Edinburgh

PPS, Université Paris Diderot - Paris 7

Biography

I am a joint QICS postdoct at Laboratory for Foundation of Computer Science (LFCS), University of Edinburgh & Laboratoire Preuves, Programmes et Systèmes (PPS), Université Paris Diderot. Previously, I was a QICS postdoct at Oxford University Computing Laboratory. I obtained my PhD from Laboratoire Leibniz, Grenoble-INP, and my M.Sc from Université Joseph Fourier. I am a former student of Ecole Normale Supérieure de Cachan and of ENSIMAG.

Events

I am a program comittee member of conferences:

  • Developments in Computational Models (DCM'09), Computational Models From Nature, ICALP workshop, 11 July 2009, Rhodes, Greece.
  • 6th Central European Quantum Information Processing Workshop (CEQIP'09) 1-4 June 2009, Jindřichuv Hradec, Czech Republic.

Award

Best Ph.D. thesis award 2006 from Grenoble INP for my [ Ph.D thesis ].

Interest

I am interested in Quantum Computing (QC) and more precisely in the Foundational Structures for Quantum Information and Computation. I am working on

  • Models of QC (measurement-based quantum computing, quantum Turing machines)
  • High level methods for QC (category theory, semantic techniques, abstract interpretation, typing system)
  • Graph theory and QC connections (flow, local complementation, graph state)
  • Quantum cryptography

I am a member of

Publications

thesis

  1. Simon Perdrix. Formal models of quantum computation: resources, abstract machines and measurement-based quantum computation (in french). PhD Thesis, Laboratoire Leibniz, Grenoble INP (viva Dec. 11th 2006), 2006.

book chapters

  1. Vincent Danos, Elham Kashefi, Prakash Panangaden, Simon Perdrix. Extended Measurement Calculus. Chapter of Semantic Techniques in Quantum Computation. [ pdf ]
  2. Philippe Jorrand, Simon Perdrix. Abstract Interpretation Techniques in Quantum Computation. Chapter of Semantic Techniques in Quantum Computation. [ pdf ]

journal papers

  1. [BKMP07] Dan Browne, Elham Kashefi, Mehdi Mhalla and Simon Perdrix, Generalized Flow and Determinism for the Measurement-based Quantum Computing, New Journal of Physics (NJP), 9 250, 2007. [ pdf ]
  2. [Per07] Simon Perdrix. Towards minimal resources of measurement-based quantum computation. New Journal of Physics (NJP), 9 206, 2007. [ pdf ]
  3. [PJ06b] Simon Perdrix and Philippe Jorrand. Classically-controlled quantum computation. Mathematical Structures in Computer Science (MSCS), 16:601-620, 2006. Subsumes [PJ06a]. [ pdf ]
  4. [Per05a] Simon Perdrix. State transfer instead of teleportation in measurement-based quantum computation. International Journal of Quantum Information (IJQI), 3(1):219-223, 2005. [ pdf ]

papers in refereed conference proceedings

  1. [DP09] Ross Duncan, Simon Perdrix. Graph States and the necessity of Euler Decomposition. Computability in Europe: Mathematical Theory and Computational Practice (CiE'09). To appear in Lecture Notes in Computer Science. [ pdf ]
  2. *[MP08] Mehdi Mhalla, Simon Perdrix. Finding optimal flow efficiently. 35th International Colloquium on Automata, Languages and Programming, Track A (ICALP'08). Lecture Notes in Computer Science (LNCS) volume 5125, pages 857-868, 2008. [ pdf ]
  3. [CPP08] Bob Coecke, Eric Paquette, Simon Perdrix. Bases in diagramatic quantum protocols. 24th Conference on Mathematical Foundations of Programming Semantics (MFPS XXIV). Electronic Notes in Theoretical Computer Science (ENTCS) volume 218, pages 131-152, 2008. [ pdf ]
  4. *[Per08b] Simon Perdrix. Partial observation of quantum Turing machine and weaker well-formedness condition. In proceedings of Joint Quantum Physics and Logic & Development of Computational Models (Joint 5th QPL and 4th DCM), 2008. [ pdf ]
  5. *[Per08a] Simon Perdrix. Quantum Entanglement Analysis based on Abstract Interpretation. 15th International Static Analysis Symposium (SAS'08). Lecture Notes in Computer Science (LNCS) volume 5079, pages 270-282, 2008. [ pdf ]
  6. *[Per07b] Simon Perdrix. A Hierarchy of Quantum Semantics. 3rd International Workshop on New Development in Computational Models (DCM'07). Electronic Notes in Theoretical Computer Science (ENTCS) volume 192(3), pages 71-83, 2008. [ pdf ]
  7. *[Per07a] Simon Perdrix. Quantum patterns and types for entanglement and separability. 3rd International Workshop on Quantum Programming Languages (QPL'05). Electronic Notes in Theoretical Computer Science (ENTCS), volume 170, pages 125-138, 2007. [ pdf ]
  8. [HMP06a] Peter Høyer, Mehdi Mhalla, and Simon Perdrix. Resources required for preparing graph states. 17th International Symposium on Algorithms and Computation (ISAAC'06). Lecture Notes in Computer Science (LNCS), volume 4288, pages 638-649. Springer-Verlag, 2006. [ pdf ]
  9. *[JP06a] Philippe Jorrand and Simon Perdrix. Towards a quantum calculus. 4th International Workshop on Quantum Programming Languages (QPL'04). Electronic Notes in Theoretical Computer Science (ENTCS), volume 210, pages 75-83, 2008. [ pdf ]
  10. *[PJ06a] Simon Perdrix and Philippe Jorrand. Classically-controlled quantum computation. 1st Workshop on New Development in Computational Models (DCM'05). Electronic Notes in Theoretical Computer Science (ENTCS), volume 135(3), pages 119-128, 2006. Subsumed by [PJ06b]. [ pdf ]
  11. *[JP05b] Philippe Jorrand and Simon Perdrix. Resources for measurement-based quantum computation: A unifying view. In proceedings of Quantum Information, Computation and Communication (QICC'05), pages 111-120, 2005. [ pdf ]
  12. *[JP05a] Philippe Jorrand and Simon Perdrix. Unifying quantum computation with projective measurements only and one-way quantum computation. In proceedings of the SPIE Quantum Informatics 2004, (QI'04) volume 5833, pages 44-51, 2005. [ pdf ]
  13. *[Per04a] Simon Perdrix. Qubit vs observable resource trade-offs in measurement-based quantum computation. In proceedings of quantum communication measurement and computing, (QCMC'04) 2004. [ pdf ]

international conferences and workshops

  1. Simon Perdrix. On the computational power of observable quantum Turing machines. From causality to complexity: Foundational principles in Quantum Information (Foun.QI), 2009.
  2. Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix. Information Flow in Secret Sharing Protocols. Developments in Computational Models (DCM'09), 2009.
  3. Ross Duncan, Simon Perdrix. Graph States and the necessity of Euler Decomposition. 6th Quantum Physics and Logic workshop (QPL'09), 2009.
  4. *Simon Perdrix. The computational power of observed quantum Turing machines. Workshop on New Worlds of Computation (NWC'09), Orléans, Janvier 2009.
  5. Mehdi Mhalla, Simon Perdrix. Finding optimal flows efficiently, Foundational Structures for Quantum Information and Computation Workshop (QICS'08), Obergurgl, Austria, September 2008.
  6. *Bob Coecke, Eric Paquette, Simon Perdrix. Bases in diagrammatic quantum protocols, Foundational Structures for Quantum Information and Computation Workshop (QICS'08), Obergurgl, Austria, September 2008.
  7. Mehdi Mhalla, Simon Perdrix. Finding optimal flows efficiently, First Workshop on Quantum Computation: Theory and Feasibility (QCTF'08), Paris, September 2008.
  8. *Daniel E. Browne, Elham Kashefi, Mehdi Mhalla and Simon Perdrix. Determinism in Measurement based quantum computation. 11th workshop Quantum Information Processing (QIP'08), New Delhi, India, December 2007.
  9. *Simon Perdrix. Towards Minimal Resources of Measurement-based Quantum Computation. 4th Central European Quantum Information Processing Workshop (CEQIP'07), Valtice, Czech Republic, June 2007.
  10. *Dan Browne, Elham Kashefi, Mehdi Mhalla, and Simon Perdrix. Characterization of the deterministic one-way computation. International Workshop on Measurement-based Quantum Computing (MBQC'07), Oxford, March 2007.
  11. *Simon Perdrix. Entanglement Analysis based on Abstract Interpretation. Foundational Structures for Quantum Information and Computation Workshop (QICS'07), Oxford University Computing Laboratory, March 2007.
  12. Mehdi Mhalla and Simon Perdrix. Graphs and graph states. Foundational Structures for Quantum Information and Computation Workshop (QICS'07), Oxford University Computing Laboratory, March 2007.
  13. *Simon Perdrix. Analysing and Handling Entanglement in Quantum Computation. Mathematical Structures in Quantum Informatics (Q-Day II), Paris, December 2005.
  14. Mehdi Mhalla and Simon Perdrix. Complexity of Graph State Preparation. 8th workshop Quantum Information Processing (QIP'05), Boston, January 2005.
  15. *Simon Perdrix. Complexity of Graph State Preparation. Mathematical Structures in Quantum Informatics (Q-Day I), Paris, December 2004.
  16. *Simon Perdrix. Optimizing the Resources for Measurement-based Preparation of Graph States. 5th European Workshop on Quantum Information Processing and Communication (QIPC'04), Rome, September 2004.
  17. *Simon Perdrix and Philippe Jorrand. Classically-Controlled Quantum Computation. Erato Conference on Quantum Information Science (EQIS'04), Tokyo, September 2004.
  18. *Simon Perdrix. Measurement-based Quantum Computation. International Meeting on Quantum Information Science: Foundations of Quantum Information (FQI'04), Camerino, Italy, 2004.
  19. *Simon Perdrix. Around the measurement-based quantum computation. Informal Quantum Information Gathering (IQING III) Munich, December 2003.
  20. *Simon Perdrix. A stabilizer-based model for one-way quantum computation. Informal Quantum Information Gathering (IQING II) London, September 2002.

british workshops

  1. *Simon Perdrix. Computational power of one-way quantum computations. Joint 3rd Workshop on Semantics of Quantum Computation (QNET'08) & Quantum in Scotland (QUISCO), Edinburgh, December 2008.
  2. *Bob Coecke, Eric Paquette, Simon Perdrix. Bases in diagrammatic quantum protocols. Categories, Logic and Foundations of Physics Workshop (CLAP), Oxford University, August 2008.
  3. *Simon Perdrix. Quantum Entanglement Analysis based on Abstract Interpretation. 2nd Workshop on Semantics of Quantum Computation (QNET'07), London, December 2007.
  4. *Simon Perdrix. Finding Optimal Flows Efficiently. 10th Oxford Imperial Quantum Meeting (QUOXIC), Oxford, Oxtober 2007.

french workshops

  1. *Ross Duncan, Simon Perdrix. Quantum Graph States and the necessity of Euler Decomposition, Journées des groupes de travail LAC-GEOCAL, ENS Lyon, March 2009.
  2. *Mehdi Mhalla, Simon Perdrix. Finding optimal flows efficiently, Journées du GdR Information et Communication Quantique, Paris, Septembre 2008.
  3. *Simon Perdrix. Sémantique catégorique du transfert d'état quantique, Catégorie pour l'informatique. Journées des groupes de travail LAC-GEOCAL , Villetaneuse, March 2008.
  4. *Mehdi Mhalla and Simon Perdrix. Finding Optimal Flows Efficiently. Journées du groupe de travail Graphes, (JGA'07) Paris, France, November 2007.
  5. *Simon Perdrix. Flow condition in One-way Quantum Computation, Theoretical aspect of quantum information (Journées du GdR Information et Communication Quantique), Aspet, June 2007.
  6. *Simon Perdrix. Characterization of the Deterministic One-way Computation, Journées du groupe de travail Informatique Quantique (JIQ'07), Grenoble, May 2007.
  7. *Mehdi Mhalla and Simon Perdrix. Graph states and quantum computing. Journées du groupe de travail Graphes (JGA'06) Orléans, France, November 2006.
  8. *Simon Perdrix. Graph State Preparation, Quantum & Co. National Workshop, ENS Lyon, November 2005.
  9. *Simon Perdrix. Graph States. 33rd Theoretical Computer Science Spring School, Montagnac-lestruffes, June 2005.
  10. *Simon Perdrix. Complexity of Graph State Preparation. GdR Quantum Information and Communication Workshop, Orsay, December 2004.
  11. *Simon Perdrix. Can one do "everything" with quantum computation ? Quantum Coherence and Information National Workshop, Grenoble, February 2004.
  12. *Simon Perdrix. Around quantum measurement universality. Journées du GdR Information et Communication Quantique, Les Houches, May 2003.

seminars

  1. Calcul quantique par mesures. Séminaire Typical, LIX, INRIA Saclay, Avril 2009.
  2. États graphes quantiques et la nécessité de la décomposition d'Euler. Séminaire Logique et Interactions, Institut de Mathématiques de Luminy, Avril 2009.
  3. Computational Power of One-way Quantum Computations. Séminaire SSS, Loria, Nancy, March 2009.
  4. Calcul quantique par mesure. Séminaire du LIFO, Orléans, February 2009.
  5. Computational Power of One-way Quantum Computations. Séminaire Complexité Logique et Informatique, Equipe de Logique, Université Paris Diderot, February 2009.
  6. One-way model: from Theory to Applications. Séminaire Algo, LRI, Orsay, October 2008.
  7. Quantum entanglement analysis based on abstract interpretation. Séminaire sémantique et interpretation abstraite, Ecole Normale Supérieure, Paris, February 2008.
  8. Determinism in one-way model: finding optimal flows efficiently. Séminaire Modèle de Calcul et Complexité, LIP, Ecole Normale Supérieure de Lyon, November 2007.
  9. Quantum entanglement analysis based on abstract interpretation. Séminaire QCG (CAPP Café), Laboratoire d'Informatique de Grenoble, November 2008.
  10. A hierarchy of quantum semantics. Séminaire PPS, Université Paris Diderot, June 2007.
  11. Modèles de calcul quantique. Séminaire des doctorants (Petite Thèse), Laboratoire d'Informatique de Grenoble, October 2006.
  12. Measurement-based quantum computation: are the minimal resources reached? Computer science department seminar, University of Calgary, Canada, October 2005.
  13. Calcul quantique par mesure. Séminaire des doctorants (Petite Thèse), Laboratoire Leibniz, Grenoble, 2003.

[ Home Page ]

Ocsigen Logo