Presentation

Publications

• 2006 : Self-assemblying Classes of Shapes with a Minimum Number of Tiles, and in Optimal Time, with Ivan Rapaport and Éric Rémila at FSTTCS.
• 2008 : Transformation and preservation of self-assembling dynamics through homotheties, at LATA2008.
• 2008 : Average Binary Long-Lived Consensus: Quantifying the Stabilizing Role Played by Memory, with Sergio Rajsbaum, Ivan Rapaport et Éric Rémila, at SIROCCO 2008.
• Optimal Time Self-assembly for Squares and Cubes, with Éric Rémila and Nicolas Schabanel, at DNA14.

Teaching and administrative activities

• 2006-2007: 32 hours as teaching assistant in proof theory and automatic proofs
• Twice (2006-2007 and 2007-2008) 32 hours as theaching assistant in foundations of computer science (computability theory)
• 2007-2008: organization of the team seminar

Studies

• 2005-present: PhD in Computer Science at ÉNS Lyon, under the direction of Éric Rémila
• 2005: Master Thesis in Fundamental Computer Science
• 2003: Bachelor in Fundamental Computer Science
• 2002: Enter the ENS Lyon
• 2000-2002: Classes préparatoires in Paris
• 2000: Baccalauréat (A-level)

Research experience pre-PhD

• January-June 2005: Self-assembling tilings and homotheties
• June-July 2004: Backtracking games and complexity
• June-July 2003: Large Cardinals, Determinacy and Computability, with Grégory Lafitte at University of Genève

Other Skills and details

• Languages: English, German, elementary Spanish
• Programming languages: OCaml, C, shell, Coq, LaTeX, a little Haskell