Algorithmes  Aléatoire  Automate cellulaire  Automate fini multitête oublieux  Automates cellulaires  Automates cellulaires Coagulants  Calcul à temps infini  Calculabilité  Calculs numériques  Chaos  Chaos déterministe  Classes de faible complexité  Cloud Computing  Cloudlet  Complexité  Complexité de calcul  Complexité descrptive  Conservation  Dynamique symbolique  Décidabilité  Déportation  Fonctions calculables  Formules de Horn  Grammaire algébrique  Grammaires conjonctives  Induction  Informatique dans les nuages  Langages formels  Logique  Logique du second ordre existentiel  Machines de Turing  Mathematiques à rebours  Mathématiques à rebours  Migration  Systèmes dynamiques  Turing, Machines de  

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 dirige actuellement les 3 thèses suivantes :

Conséquences arithmétiques de théorèmes combinatoires

par Quentin Le houérou sous la direction de Julien Cervelle - Paris 12

Informatique

En préparation depuis le 01-09-2023

Propriétés arithmétiques de théorèmes combinatoires.

par Ahmed Mimouni sous la direction de Julien Cervelle - Paris 12

Informatique

En préparation depuis le 01-09-2022

Analyse calculatoire des théorèmes de type Ramsey

par William Gaudelier sous la direction de Julien Cervelle , Benoit Monin et de Ludovic Patey . - Paris 12

Informatique

En préparation depuis le 01-10-2021

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 3 thèses suivantes :

Factorisation de systèmes dynamiques discrets

par Sara Riva sous la direction de Enrico Formenti et de Alberto Dennunzio . - Université Côte d'Azur

Informatique

Soutenue le 21-11-2022

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 4 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

Universalité et complexité des automates cellulaires coagulants

par Diego Maldonado sous la direction de Nicolas Ollinger - Orléans

Informatique

Soutenue le 26-11-2018

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