Who am I?

En post-doctorat FONDECYT (3110088) depuis septembre 2010 au CMM, Universidad de Chile, Santiago, Chili.

Publications

• A. Ballier, B. Durand, and E. Jeandel. Structural aspects of tilings. 25th International Symposium on Theoretical Aspects of Computer Science (STACS)., 2008. bib, preprint, final version
• A. Ballier and E. Jeandel. Tilings and model theory. First Symposium on Cellular Automata Journées Automates Cellulaires., 2008. bib, preprint, final version
• A. Ballier, B. Durand, and E. Jeandel. Tilings robust to errors. 9th Latin American Theoretical Informatics Symposium (LATIN), 2010. bib, preprint
• A. Ballier and E. Jeandel. Computing (or not) quasi-periodicity functions of tilings. Second symposium on Cellular Automata (JAC), 2010. bib, preprint, final version
• A. Ballier, P. Guillon and J. Kari. Limit Sets of Stable and Unstable Cellular Automata. Fundamenta Informaticae, volume 110, 2011 preprint (colored)

Thèse

• Alexis Ballier, encadré par Bruno Durand et Emmanuel Jeandel. Propriétés structurelles, combinatoires et logiques des pavages. Soutenue le 30 novembre 2009. résumé, pdf

Enseignement

• 2009-2010:
  • TD et TP Initiation à l'informatique (L1, PEI)
  • TP Fondements de l'informatique (L2, MI)
• 2008-2009:
  • TP Calculabilité (L2)
    • TP1: Machines de Turing et fonctions récursives primitives ainsi que le programme servant à simuler des machines de Turing
    • TP2: Machines de Turing et fonctions récursives primitives, bis
  • TPs et TDs de Systèmes d'exploitation (L3)
    • Introduction à OS/161
    • OS/161: Synchronisation de threads
    • OS/161: Appels système et processus
  • TP Outils de l'internet (M1)
    • TP1 (mercurial, python, sockets, HTTP). La correction
    • TP2 (civet, apache, CGI et modules)
    • TP3 (Sessions, SQL et langages dynamiques)
    • TP4 (WSGI, SimpleTAL et OpenLDAP)
    • Le projet (Un framework web en python)
• 2007-2008:
  • TP Outils de l'internet (M1)
    • TP1 (svn, python, sockets, HTTP). La correction
    • TP2 (civet, apache, CGI et modules)
    • TP3 (Sessions, SQL et langages dynamiques)
    • TP4 (OpenLDAP + Dovecot + Yocto = Webmail authentifié)
    • Le projet
  • TP Calculabilité (L2)
    • TP1: Fonctions récursives primitives ainsi que le programme servant à construire des fonctions récursives primitives
    • TP2: Problème de correspondance de Post ainsi que le programme aidant à construire des mots vérifiant les contraintes
    • TP3: Machines de Turing, Partie 1 ainsi que le programme servant à simuler des machines de Turing
    • TP4: Machines de Turing, Partie 2
    • TP5: Machines de Turing, Partie 3
  • TP Outils informatique (L2)

About

Page créée avec txt2tags. Source.