Turing Machines
Tilings and Symbolic Dynamics
- The Domino Problem: Raiders of the lost proof, Escape seminar, 2009. A (somehow forgotten) proof of the undecidability of the domino problem by Lewis and Aanderaa.
- Pavages et logique (in french), LAMA seminar, Chambery, 2008.
- Pavages et logique (in french), Ecole Jeunes Chercheurs en Informatique Mathématique, 2008
- Aspects structurels des pavages (in french), séminaire des élèves, ENS Lyon, 2007.
Matrix groups and Quantum Computation
- Computing with Infinite groups, Seminar at the Paderborn Institute for Scientific Computation (PASCO), November 2005.
- Algebraic Techniques in Quantum Computation, PhD defense, April 8th, 2005
- Ensemble de portes quantiques universelles (in french) seminar for the (regretted) Quantum team of the LRI laboratory, Mar 18th, 2003.
- Suites récurrentes linéaires, MC2 seminar, Jan 15th, 2003.
- Automates quantiques et indécidabilité, Talk for the Master's Thesis
- Indécidabilité sur les automates quantiques, Première Journée de l'action spécifique nouveaux modèles de calcul, June, 5th, 2002
Back to the main page