Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Michaël Périn

Michaël Périn

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique
Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle
Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits
Lien entre modèles symboliques et computationnels pour les protocoles cryptographiques utilisant des hachages