Thomas Henzinger
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Books | Formal Modeling and Analysis of Timed Systems |
| Contracts for System Design | |
| Notable student | Krishnendu Chatterjee |
| Official site | pub.ist.ac.at |
| Born | Austria |
| H index | 117 |
| Affiliations | Institute Of Science And Technology |
| Austria | |
| Current partner | Monika Henzinger |
| Education | Johannes Kepler University Linz |
| Academic advisor | Zohar Manna |
| Date of Reg. | |
| Date of Upd. | |
| ID | 698593 |
Thomas Henzinger Life story
Thomas Henzinger is an Austrian computer scientist, researcher, and former president of the Institute of Science and Technology, Austria.
Thomas Henzinger Photos
