Directory

Search by name
You can use the * character as a wildcard.
Alphabetical search
Find people whose last name is MATEESCU* and first name is Radu*. Number of person who matches the search criteria: 1.
Radu MATEESCU

Senior Research Scientist (INRIA)
Team(s): CONVECS

Email:
Personal Website: http://convecs.inria.fr/people/Radu...
Radu MATEESCU
Contact info
Phone: +33 4 76 61 54 86
Office: D105
Publications

In HAL (Multidisciplinary open archive)

Other link: http://convecs.inria.fr/people/Radu.Mateescu/#section-7

Activities and responsibilities
Responsable EPC CONVECS.
Keywords
Méthodes formelles logique temporelle Vérification