English speakers might want to click here

Page personnelle de Florent Becker

portrait

Je suis étudiant en thèse à l'ÉNS Lyon sous la direction d'Éric Rémila. Dans le cadre de ma thèse, je m'intéresse aux pavages auto-assemblants, en particulier aux problèmes de géométrie et de complexité qui s'expriment dans ce modèle de calcul un peu particulier. Vous trouverez (bientôt) plus de détails dans mon CV

Mes coordonnées

Florent Becker

Le jour :

Florent Becker
IXXI, ÉNS Lyon
46 allée d'Italie
69364 Lyon cedex 07
France

En fait, je ne suis pas à l'ÉNS à proprement parler, mais un peu plus au Sud, à l'Institut Palindromique des Systèmes Complexes (IXXI) sis ici.

La nuit :

Florent Becker
6B rue des Capucins
69001 Lyon
France

Enseignement

Je suis moniteur de l'ÉNS Lyon, j'ai donc l'immense privilège d'y assurer quelques séances de travaux dirigés.

Preuves

En 2006-2007, j'ai assuré avec Sylvain Chevillard les travaux dirigés du cours de programmation fonctionnelle et preuves de Jean Duprat. Ce cours traite principalement des principes de la preuve par ordinateur tels qu'ils sont implémentés dans le logiciel coq. Les sujets de td sont disponibles sur l'archive denif.

Fondements de l'informatique 2

En 2006-2007 et 2007-2008, j'ai assuré avec respectivement Sylvain Chevillard et Romain Demangeon les travaux dirigés du cours « fondements de l'informatique », qui traite essentiellement de calculabilité et d'un peu de logique (théorie des modèles). Les sujets de td sont disponibles ici (bientôt).

Recherche

Publications

Des versions électroniques de mes publications:
  • 2006 : Self-assemblying Classes of Shapes with a Minimum Number of Tiles, and in Optimal Time, avec Ivan Rapaport et Éric Rémila à la conférence FSTTCS. Citez-le !
  • 2008 : Transformation and preservation of self-assembling dynamics through homotheties, à la conférence LATA. Paraît bientôt
  • 2008 : Average Binary Long-Lived Consensus: Quantifying the Stabilizing Role Played by Memory, avec Sergio Rajsbaum, Ivan Rapaport et Éric Rémila, à la conférence SIROCCO.
  • 2008 : Optimal Time Self-assembly for Squares and Cubes, des constructions optimales en temps pour les carrés et les cubes, avec un autre formalisme élégant, complémentaire du formalisme par signaux (voire plus bas). Avec Éric Rémila et Nicolas Schabanel, à la conférence DNA 14
  • Allocutions

    Voici les transparents de quelques-uns de mes exposés récents:
  • Au workshop Tilings and self-assembly de la conférence DLT, Self-assembling Tilings of the Whole Plane
  • Au groupe de travail Escape du Lif à Marseille, Signaux pour l'auto-assemblage (transparents à venir).
  • Pré-publications

    Quelques-uns de mes travaux en cours ou passés qui n'ont pas encore été publiés
  • Homotheties for self-assembly, an intrinsic construction ou les tuiles zoomeuses : comment agrandir les motifs assemblés par un jeu de tuiles sans modifier les tuiles de départ: on ne fait qu'ajouter quelques tuiles au départ
  • A geometrical programming language for self-assembly, and some applications., où, lassés de devoir décrire des jeux de tuiles dans les moindres détails et de prouver leur comportement, on décide de se donner un langage de programmation géométrique plus simple à comprendre. Accepté dans TCS
  • Manuscrit de thèse

    Mon manuscrit de thèse (version provisoire) est ici