paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 258543515Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Hriţcu, Cătălin

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 : anglais
Pays : Allemagne,France
Genre : Masculin

Notes

Note publique d'information : 
Informaticien. Directeur de recherche, Max-Planck-Institut für Sicherheit und Privatsphäre (MPI-SP), Bochum, Allemagne, depuis 2020 (en 2021)

Identifiants externes

Identifiant ORCID : 0000-0001-8919-8081
Identifiant HAL : catalin-hritcu
Identifiant VIAF : http://viaf.org/viaf/260691429

Source

Principes de la vérification de programmes à effets monadique arbitraires / par Kenji Maillard ; sous la direction de Cătălin Hrițcu, 2019 [thèse]

https://d-nb.info/gnd/1025376161, 2021-11-22

Information trouvée : Hritcu, Cătălin

https://www.mpi-sp.org/person/105990/2775, 2021-11-22

Information trouvée : Cătălin Hrițcu. - Informaticien. Directeur de recherche, Max-Planck-Institut für Sicherheit und Privatsphäre (MPI-SP), Bochum, Allemagne, depuis 2020

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