Thomas Henzinger
personne
informaticien autrichien
Thomas Henzinger (né le 8 décembre 1962) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Thomas_Henzinger
Lien Wikidata : https://www.wikidata.org/wiki/Q88295
Propriétés
- date_naissance
- +1962-01-0
- genre_personne
- masculin
- lieu_naissance
- {"qid": "Q40", "label": "Autriche"}
- nationalite
- Autriche
- occupation
- professeur d'université
- p106_all
- professeur d'université, chercheur ou chercheuse, informaticien ou informaticienne