Crégut, Pierre (ingénieur)

Crégut, Pierre (ingénieur)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 131787284

URI de l'entité : http://www.idref.fr/131787284/id

Notice de type Personne

Point d'accès autorisé

Crégut, Pierre (ingénieur)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français

Pays : France

Genre : Masculin

Notes

Note publique d'information :

Directeur d'une thèse en co-tutelle de : informatique, Université Paris-Sud 11, Orsay (en 2009)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/217411165

Identifiant SCOPUS : 23395907700

Source

Automatic modular static safety checking for C programs = Preuve automatique et modulaire de la sûreté de fonctionnement des programmes C / Yannick Moy ; sous la direction de Claude Marché et Pierre Crégut, 2009 [thèse]

Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau / Pierre-Léo Begay ; sous la direction de Jean-François Monin et Pierre Cregut. Thèse de doctorat : Informatique : Université Grenoble Alpes : 2021

https://fr.linkedin.com/in/pierre-cr%C3%A9gut-979627134, 2022-04-15

... Références liées : ...