Mateescu, Radu (19..-.... ; auteur en informatique)

Mateescu, Radu (19..-.... ; auteur en informatique)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 107089696

URI de l'entité : http://www.idref.fr/107089696/id

Notice de type Personne

Point d'accès autorisé

Mateescu, Radu (19..-.... ; auteur en informatique)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français,roumain; moldave

Pays : Roumanie

Date de naissance : 19XX

Date de début d'activité : 1998

Genre : Masculin

Notes

Note publique d'information :

Informaticien. En poste à l'INRIA Grenoble (en 2017)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/307188308

Identifiant SCOPUS : 7003352471

Identifiant ISNI : 0000000428463568

Source

Internet, http://www.inrialpes.fr, 2006-08-29

Information trouvée : chargé de recherche à l'INRIA-Rhône Alpes, équipe "Validation de systèmes" (VASY)

Un environnement pour le développement rigoureux de composants répartis : formalisation et outils logiciels / Oleksandra Kulankhina ; sous la direction d'Éric Madelaine. Thèse de doctorat : Informatique : Côte d'Azur : 2016

Information trouvée : Rapporteur de thèse, membre du jury

Vérification des propriétés temporelles des programmes parallèles / Radu Mateescu ; sous la direction de Hubert Garavel, 1998.- Thèse de doctorat : Informatique : Grenoble INPG : 1998

Vérification distribuée à la volée de grands espaces d'états [Thèse 2005] / Christophe Joubert

Information trouvée : directeur de thèse à l'Institut national polytechnique de Grenoble

... Références liées : ...