Julien Cervelle
Julien Cervelle a rédigé la thèse suivante :
Complexité structurelle et algorithmique des pavages et des automates cellulaires
par Julien Cervelle sous la direction de Bruno Durand - Aix-Marseille 1
Informatique et mathématiques
Soutenue en 2002
Julien Cervelle a dirigé la thèse suivante :
Automates cellulaires : dynamiques, simulations, traces
par Pierre Guillon sous la direction de Enrico Formenti et de Julien Cervelle . - Paris Est
Informatique
Soutenue le 24-11-2008
Julien Cervelle a été président de jury des 2 thèses suivantes :
Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires
par Theo Grente sous la direction de Étienne Grandjean et de Véronique Terrier . - Normandie
Informatique
Soutenue le 08-12-2020
La mobilité du code dans les systèmes embarqués
par Guy Lahlou Djiken sous la direction de Fabrice Mourlin et de Laure Pauline Fotso . - Paris Est
Informatique
Soutenue le 14-12-2018
Julien Cervelle a été rapporteur des 3 thèses suivantes :
Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires
par Theo Grente sous la direction de Étienne Grandjean et de Véronique Terrier . - Normandie
Informatique
Soutenue le 08-12-2020
Construction de liens entre algorithmique et logique par du calcul à temps infini
par Sabrina Ouazzani sous la direction de Bruno Durand - Montpellier
Informatique
Soutenue le 02-12-2016
Reconnaissance de langages en temps réel par des automates cellulaires avec contraintes
par Alex Borello sous la direction de Bruno Durand et de Victor Poupet . - Aix-Marseille 1
Informatique
Soutenue le 12-12-2011
Julien Cervelle a été membre de jury de la thèse suivante :
Infinite Computations in Algorithmic Randomness and Reverse Mathematics
par Paul-Elliot Anglès d'Auriac sous la direction de Pierre Valarcher et de Benoît Monin . - Paris Est
Logique mathématique
Soutenue le 22-11-2019
