Chercheur ou chercheuse

Théo Winterhalter

Identifiants pérennes

Références de cette unité dans les référentiels publics : elles servent à la recouper avec d’autres sources, et ne changent pas quand le nom change.

Rattachement

type theory

rewrite rules

proofs

Dependent types

Proof assistants

type checking

Type checker

Cryptography

17 publications dans HAL depuis 2022.

Provenance des données

Sources : scanR, HAL. Données consolidées le 27/10/2026. Une erreur ? Elle se corrige dans la source d’origine (HAL, RNSR, annuaire) ; voir comment.