Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Jonathan Protzenko

est l'auteur d'une thèse
a dirigé 1 thèse

Algorithmes Cryptographie Droit Informatique Langage dédié Langages de programmation impératifs ML Méthodes formelles Vérification de programme

Fullscreen

Algorithmes Cryptographie Droit Informatique Langage dédié Langages de programmation impératifs ML Méthodes formelles Vérification de programme

Jonathan Protzenko a rédigé la thèse suivante :

Mezzo : a typed language for safe effectful concurrent programs

par Jonathan Protzenko sous la direction de François Pottier - Paris 7

Informatique

Soutenue en 2014

Thèse soutenue

Accéder en ligne

Jonathan Protzenko a dirigé la thèse suivante :

Proof-oriented domain-specific language design for high-assurance software

par Denis Merigoux sous la direction de Karthikeyan Bhargavan et de Jonathan Protzenko . - Université Paris sciences et lettres

Informatique

Soutenue le 13-12-2021

Thèse soutenue

Accéder en ligne