Knowledge Tree

researcher / Yves Bertot

Yves Bertot

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Une automatisation de calcul des residus en semantique naturelle

Directed Thesis:

Preuves formelles de la sécurité de standards : Un objectif nécessaire, possible grâce à EasyCrypt

Outils pour la formalisation en analyse classique : une étude de cas en théorie du contrôle

Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle

Interaction entre algèbre linéaire et analyse en formalisation des mathématiques

Étude formelle d'algorithmes efficaces en algèbre linéaire

Vérification semi-automatique de primitives cryptographiques

Description formelle de propriétés géométriques

Vérification formelle pour les méthodes numériques

Type theoretic semantics for programming languages

Changements de représentation des données dans le calcul des constructions

Fonctions récursives générales dans le calcul des constructions

Analyse de programmes annotes par des assertions