Scholar
Thomas Henzinger
Google Scholar ID: jpgplxUAAAAJ
IST Austria
Citations & Impact
Citations
12,608
H-index
54
i10-index
234
Publications
20
Co-authors
126
list available
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Honors:
- - NAS (National Academy of Sciences)
- - Royal Society (Foreign Member; Robin Milner Award)
- - Academia Europaea
- - Leopoldina (German Academy of Sciences)
- - OeAW (Austrian Academy of Sciences)
- - American Academy of Arts and Sciences
- - AAAS (Fellow)
- - ACM (Fellow)
- - IEEE (Fellow)
- - EATCS (Fellow; EATCS Award)
- - ERC (Advanced Grants QUAREM and VAMOS)
- - FWF (Wittgenstein Award; NFN RISE; SFB SPYCODE)
Research Experience
- Teaching Experience: Fall 2024 course 'Formalisms Every Computer Scientist Should Know'
- Research Field: Theory of software systems
Education
- Degrees: Ph.D., Stanford University
- Honorary Doctorates: Fourier University (Grenoble), Masaryk University (Brno)
Background
- Research Interests: Theory of software systems
- Profile: Professor, ISTA (Institute of Science and Technology Austria)
- Positions: Chair, FORWIT (Austrian Council for Sciences, Technology, and Innovation), Member of the Scientific Council, ERC (European Research Council)
Miscellany
- Coordinates:
- - Mail: Am Campus 1, 3400 Klosterneuburg, Austria
- - Email: my_three_initials@ist.ac.at
- - Assistant: Ksenja.Harpprecht@ist.ac.at
