Radu Mateescu

Directeur de recherche

Affiliation

Institut national de recherche en informatique et en automatique

Équipe de recherche

LIG Equipe CONVECS

Domaines de recherche

formal methods; specification; temporal logic; verification

Disciplines scientifiques

Informatique

Habilitation à diriger des recherches

Composants génériques pour l'analyse des systèmes de transitions

Thèse

Vérification des propriétés temporelles des programmes parallèles
sous la direction de  Hubert Garavel