Abstraction  Abstraction quasi-Synchrone  Algorithmes polynomiaux  Analyse binaire  Analyse de flot de données  Analyse informatique  Analyse statique  Architecture LTTA  Arithmétique en virgule flottante  Arithmétique flottante  Assistants de Preuve  Assistants de preuve  Assistants de preuve interactifs  Auto-référence  Automates communicants  Barrière  C11  Certification  Circuits numériques synchrones  Compilateur  Compilateurs  Compilation  Compilation  Compilation vérifiée  Comportement  Conception de langage  Construction d'arbre  Coq  Informatique  Interprétation abstraite  Langages de programmation -- Sémantique  Langages de programmation fonctionnelle  Langages synchrones  Systèmes embarqués  Systèmes embarqués  Systèmes hybrides  

Marc Pouzet a rédigé la thèse suivante :

Compaction des langages fonctionnels

par Marc Pouzet sous la direction de Jean-Jacques Lévy - Paris 7

Sciences appliquées

Soutenue en 1994

Marc Pouzet dirige actuellement les 3 thèses suivantes :

La sémantique et la compilation des machines à étatsdans un assistant de preuve

par Basile Pesin sous la direction de Marc Pouzet et de Timothy Bourke . - Université Paris sciences et lettres

Informatique

En préparation depuis le 01-09-2020

Logique de programme et raisonnement interactif pour les systèmes de contrôle embarqués

par Paul Jeanmaire sous la direction de Marc Pouzet et de Timothy Bourke . - Université Paris sciences et lettres

Informatique

En préparation depuis le 01-09-2020

Tests à la QuickCheck de systèmes hybrides

par Ismail Lahkim Bennani sous la direction de Marc Pouzet , Timothy Bourke et de Goran Frehse . - Université Paris sciences et lettres

Informatique

En préparation depuis le 01-09-2018

Marc Pouzet a dirigé les 11 thèses suivantes :

Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation

par Lélio Brun sous la direction de Marc Pouzet et de Timothy Bourke . - Université Paris sciences et lettres

Informatique

Soutenue le 06-07-2020

Efficient code generation for hardware accelerators by refining partially specified implementation

par Ulysse Beaugnon sous la direction de Albert Henri Cohen et de Marc Pouzet . - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 10-06-2019

A synchronous approach to quasi-periodic systems

par Guillaume Baudart sous la direction de Marc Pouzet - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 13-03-2017

A synchronous functional language with integer clocks

par Adrien Guatto sous la direction de Albert Henri Cohen et de Marc Pouzet . - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 07-01-2016

Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone

par Léonard Gérard sous la direction de Marc Pouzet - Paris 11

Informatique

Soutenue le 25-09-2013

Compilation certifiée de SCADE/LUSTRE

par Cédric Auger sous la direction de Marc Pouzet - Paris 11

Informatique

Soutenue le 07-02-2013

Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel

par Cédric Pasteur sous la direction de Marc Pouzet - Paris 6

Informatique

Soutenue en 2013

Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée

par Florence Plateau sous la direction de Marc Pouzet - Paris 11

Informatique

Soutenue en 2010

Répartition modulaire de programmes synchrones

par Gwenaël Delaval sous la direction de Marc Pouzet - Grenoble INPG

Informatique

Soutenue en 2008

Réduction paramétrée de spécifications formées d'automates communicants : algorithmes polynomiaux pour la réduction de modèles

par Sébastien Labbé sous la direction de Marc Pouzet - Paris 6

Informatique

Soutenue en 2007

Conception, sémantique et implantation de réactiveML : un langage à la ML pour la programmation réactive

par Louis Mandel sous la direction de Marc Pouzet - Paris 6

Informatique

Soutenue en 2006

Marc Pouzet a été président de jury des 3 thèses suivantes :

Compiler optimisations and relaxed memory consistency models

par Robin Morisset sous la direction de Francesco Zappa Nardelli - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 05-04-2017

Logico-Numerical Verification Methods for Discrete and Hybrid Systems

par Peter Schrammel sous la direction de Alain Girault et de Bertrand Jeannet . - Grenoble

Informatique

Soutenue le 18-10-2012

Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles

par Bilel Benhamamouch sous la direction de Jean-Claude Fernandez et de Bruno Monsuez . - Grenoble

Informatique

Soutenue le 02-05-2011

Marc Pouzet a été rapporteur des 3 thèses suivantes :

Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods

par Nasrine Damouche sous la direction de Matthieu Martel et de Alexandre Chapoutot . - Perpignan

Informatique

Soutenue le 12-12-2016

Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems

par Gideon Smeding sous la direction de Joseph Sifakis et de Gregor Gössler . - Grenoble

Informatique

Soutenue le 19-12-2013

Analyse de codes auto-modifiants pour la sécurité logicielle

par Daniel Reynaud sous la direction de Jean-Yves Marion - Vandoeuvre-les-Nancy, INPL

Informatique

Soutenue le 15-10-2010

Marc Pouzet a été membre de jury de la thèse suivante :

Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques

par Ilias Garnier sous la direction de Guy Vidal-Naquet et de Christophe Aussaguès . - Paris 11

Informatique

Soutenue le 10-02-2012