CV détaillé - I3S - Université Nice Sophia Antipolis

Julien Provillard
Saint André
06450 Lantosque
B [email protected]
né le 04 janvier 1985 à Langres (52)
Formation
2012–2013 Séjour Postdoctoral, Institut für Informatik, Universität Gießen, Allemagne, encadré par Martin Kutrib.
2009–2012 Doctorat, Université Nice Sophia Antipolis, Laboratoire I3S, sous la
direction de Enrico Formenti, soutenu le 6 décembre 2012.
Titre : Automates cellulaires non-uniformes
2007–2009
2006–2007
2003–2006
2000–2003
Master, Ecole normale supérieure de Lyon, Parcours système complexe.
Licence, Ecole normale supérieure de Lyon.
Classes préparatoires MPI, Lycée Henri Poincaré, Nancy.
Baccalauréat S, Lycée Diderot, Langres, option mathématiques.
Expérience
2013–
Maître de conférences, Université Nice Sophia Antipolis.
2010–2012 Monitorat, Université Nice Sophia Antipolis.
2009–2010 Vacations, Université Nice Sophia Antipolis.
Publications
Conférences internationales avec comité de lecture
[CDFP09]
G. Cattaneo, A. Dennunzio, E. Formenti, and J. Provillard. Non-uniform
cellular automata. In A. H. Dediu, A. M. Ionescu, and C. Martin-Vide,
editors, Language and Automata Theory and Applications, volume 5427
of Lecture Notes in Computer Science, pages 302–313. Springer, 2009.
[DFP12a]
A. Dennunzio, E. Formenti, and J. Provillard. Acceptance conditions for
ω-languages. In H.-C. Yen and O. H. Ibarra, editors, Developments in
Language Theory, volume 7410 of Lecture Notes in Computer Science,
pages 320–331. Springer, 2012.
[DFP12b]
A. Dennunzio, E. Formenti, and J. Provillard. Computational complexity
of rule distributions of non-uniform cellular automata. In A. H. Dediu
and C. Martin-Vide, editors, Language and Automata Theory and Applications, volume 7183 of Lecture Notes in Computer Science, pages
204–215. Springer, 2012.
[KPVW13]
M. Kutrib, J. Provillard, G. Vaszil, and M. Wendlandt. Deterministic
one-way turing machines with sublinear space bounds. In A. H. Dediu
and C. Martin-Vide, editors, Non-Classical Models for Automata and
Applications, volume 294 of [email protected], pages 195–208. Österreichische
Computer Gesellschaft, 2013.
Revues internationales avec comité de lecture
[DFP12]
A. Dennunzio, E. Formenti, and J. Provillard. Non-uniform cellular automata : Classes, dynamics, and decidability. Information and Computation,
215 :32–46, 2012.
[DFP13]
A. Dennunzio, E. Formenti, and J. Provillard. Local rule distributions,
language complexity and non-uniform cellular automata. Theoretical
Computer Science, 504 :38–51, 2013.
Stages de recherche
2009 Automates cellulaires non-uniformes, Université Nice Sophia Antipolis, stage de M2 de 6 mois encadré par Enrico Formenti.
2008 Automates cellulaires et perturbations structurelles, Université
de Milano-Bicocca, Italie, et Université Nice Sophia Antipolis, stage de
M1 de 3 mois co-encadré par Alberto Dennunzio et Enrico Formenti.
2007 Définition d’une catégorie pour les automates cellulaires, Institut des Systèmes Complexes, Lyon, stage de L3 de 6 semaines encadré
par Jacques Mazoyer.
Participation à la vie scientifique
Rapporteur pour ACRI, Automata, MFCS, Natural Computing, TCS.
Membre du comité d’organisation de la conférence internationale Automata 2013.
Membre du comité d’organisation des conférences internationales Automata et JAC 2012.
Enseignements
Responsable des cours de :
– Paradigmes de programmation (L3)
Chargé de TP :
– Programmation orientée objet (L3)
– Algorithmique et structures de données (L2)
– Introduction à la programmation C (L2)
– Algorithmique et programmation impérative (L1)
– Introduction à la programmation fonctionnelle (L1)
Exposés
août 2012 DLT 2012, Taipei (Taïwan), Acceptance conditions for ω-languages.
juin 2012 Journées SDA2 - JMC, LITIS, Rouen, Modes d’acceptation pour
ω-langages.
mars 2012 LATA 2012, La Corogne (Espagne), Computational complexity of rule
distributions of non-uniform cellular automata.
février 2012 Journées FRAC, Université Paris-Est Créteil, Distributions of rules and
properties in non-uniform cellular automata.
octobre 2011 Séminaire MC3, Laboratoire I3S, Sophia-Antipolis, Non-uniform cellular
automata.
février 2011 Séminaire ADSTIC, Laboratoire I3S, Sophia-Antipolis, Automates cellulaires non-uniformes.
avril 2010 Journées FRAC, Université de Caen, Du nouveau sur les AC nonuniformes.
avril 2009 LATA 2009, La Corogne (Espagne), Non-uniform cellular automata.
juillet 2008 Séminaire MC3, Laboratoire I3S, Sophia-Antipolis, Automates cellulaires
perturbés.