Alt-Ergo  Apprentissage  BMC  Calcul des propositions  Compilation  Diagnostic distribué à base de cohérence  Diviser pour régner  Décomposition arborescente distribuée  Induction temporelle  Informatique -- Recherche  Intelligence artificielle  K-induction  Logique propositionnelle  Markov, Processus de  Microprocesseurs multi-coeurs  Model Checking  Méthodes formelles  OCaml  Objective Caml  Outil  Parallélisation  Polymorphisme  Portfolio  Prise de décision  Processus de décision markovien  Raisonnement distribué respectant la confidentialité  Représentation des connaissances  Robotique autonome  Robots autonomes  Sat  Satisfaisabilité  Satisfaisabilité booléenne  Simulation, Méthodes de  Smt  Smt-Lib  Traitement réparti  

Laurent Simon a rédigé la thèse suivante :

Multirésolution pour le test de consistance et la déduction en logique propositionnelle

par Laurent Simon sous la direction de Marie-Christine Rousset et de Philippe Chatalic . - Paris 11

Informatique

Soutenue en 2001

Laurent Simon dirige actuellement la thèse suivante :

Les solveurs SAT dans un contexte massivement parallèle

par Rohan Fosse sous la direction de Laurent Simon - Bordeaux

Informatique

En préparation depuis le 21-11-2017

Laurent Simon a dirigé les 2 thèses suivantes :

Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT

par Guillaume Baud-Berthier sous la direction de Laurent Simon - Bordeaux

Informatique

Soutenue le 20-09-2018

Diagnostic distribué de systèmes respectant la confidentialité

par Vincent Armant sous la direction de Philippe Dague et de Laurent Simon . - Paris 11

Informatique

Soutenue le 27-09-2012

Laurent Simon a été rapporteur des 2 thèses suivantes :

[ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l’intégration d’un solveur SAT efficace

par Albin Coquereau sous la direction de Michel Mauny et de Sylvain Conchon . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 16-12-2019

Towards more efficient parallel SAT solving

par Ludovic Le Frioux sous la direction de Fabrice Kordon - Sorbonne université

Informatique

Soutenue le 03-07-2019

Laurent Simon a été membre de jury de la thèse suivante :

Decision-making algorithms for autonomous robots

par Ludovic Hofer sous la direction de Olivier Ly et de Hugo Gimbert . - Bordeaux

Informatique

Soutenue le 27-11-2017