Alex Borello

• ATER (2013-2014) au LACL
  Membre de l’équipe Logique, calcul et programmation

• ATER (2011-2012) au LIF (UMR CNRS 6166)

• Doctorant (2008-2011) au LIF sous la direction de Bruno Durand et Victor Poupet
  Membre de l’équipe Escape

Coordonnées

LACL – 61, avenue du Général de Gaulle 94010, Créteil, France
Bureau : P2 211 (2^e étage)

E-mail : prénom.nom[at]lacl.fr

Recherche

Thèmes

Automates cellulaires, reconnaissance de langages, classes de faible complexité (comme le temps réel)

Publications

• Turing degrees of limit sets of cellular automata, avec J. Cervelle and P. Vanier
             41st International Colloquium on Automata, Languages, and Programming (ICALP 2014), p. 74-85

• A speed-up of oblivious multi-head finite automata by cellular automata, avec G. Richard and V. Terrier
             28th Symposium on Theoretical Aspects of Computer Science (STACS 2011), p. 273-283

• A simulation of oblivious multi-head one-way finite automata by cellular automata
             Journées automates cellulaires (JAC 2010), p. 65-75

Enseignement

Licence d'informatique, 3^e année

• 2013-2014 – Algorithmique et Introduction à la complexité – TD, TP (responsables : Nihal Pekergin et Catalin Dima)
• 2009-2010 – Systèmes d'exploitation – TP (responsable : Nicolas Ollinger)

Licence de mathématiques et informatique (MI), 2^e année

• 2011-2012 – Codage et Traitement des données numériques – cours, TD (TP : Pierre Rannou)
• 2010-2012 – Fondements de l'informatique – TD, TP (responsable : Arnaud Labourel)
• 2008-2012 – Automates et Langages – TD, TP (responsable : Frédéric Olive)
• 2008-2009 – Algorithmique et Structures de données – TP (responsable : Jean-Marc Talbot)

Licence de préparation aux écoles d'ingénieur (PEI), 1^re année

• 2009-2010 – Initiation à l'informatique – TD (responsable : François Denis)

Licence de mathématiques et informatique (MI), 1^re année

• 2013-2014 – Programmation impérative – TD, TP (responsable : Éric Petit)