English speakers might want to click here
Page personnelle de Florent Becker
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
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
