Julien Cristau

Je suis actuellement en thèse au LIAFA dans l'équipe Automates sous la direction de Olivier Carton. Mon sujet de thèse est l'étude des jeux et automates sur les ordres.

Au menu :

les choses que j'ai écrites,
les enseignements que j'ai faits,
les études que j'ai faites,
le séminaire thésards.

Publications :

Deterministic Automata on Unranked Trees, avec Christof Löding et Wolfgang Thomas, in Proceedings of the 15th International Symposium on Fundamentals of Computation Theory, FCT 2005. Pages 68–79. (ps.gz)
On Reachability Games of Ordinal Length, avec Florian Horn, in Proceedings of SOFSEM 2008: Theory and Practice of Computer Science. Pages 211–221. (pdf)
Graph Games on Ordinals, avec Florian Horn, FSTTCS 2008. (pdf)
Automata and temporal logic over arbitrary linear time, FSTTCS 2009. (pdf)

Enseignement

2009–2010	Langages de script, 2ème année de licence: TD/TP.
2009–2010	Programmation réseaux, 3ème année de licence: TP.
2008–2009	Systèmes, 3ème année de licence: TD et TP.
2007–2008	Systèmes, 3ème année de licence: TD et TP.
2007–2008	Concepts informatiques, 1ère année de licence.
2006–2007	IF1 (Introduction à la programmation), premier semestre de licence. Voir la page du cours et la page des TP.

Études

2004–2005	M2 d'informatique (Master Parisien de Recherche en Informatique) à Paris-7
2003–2004	Maîtrise d'informatique à l'ÉNS Lyon. Stage de dix semaines au RWTH Aachen sous la direction de Wolfgang Thomas.
2002–2003	Licence d'informatique à l'ÉNS Lyon. Stage de deux mois à l'Université de Marne-la-Vallée, sous la direction de Julien Cervelle.
2000–2002	Classes préparatoires aux grandes écoles au lycée Masséna de Nice (MPSI, MP*). Admission à l'ÉNS Lyon concours informatique.
2000	Baccalauréat scientifique, option mathématique.

Note importante

Ceci n'est pas la page web de Samuel Mimram. Voir plutôt ici.

Contact

Adresse physique :	Bureau 6A15 au LIAFA, 175, rue du Chevaleret, 75013 Paris
Adresse postale :	LIAFA, UMR 7089 — Université Paris 7 - case 7014 — F-75205 Paris cedex 13
Téléphone :	+33 (0)1 44 27 28 40
E-mail :	julien.cristau@liafa.jussieu.fr
PGP key ID :	0905E40C