Thomas A. Henzinger, dr. h. c.
* 8.12.1962 Linec (Rakousko)
přední světový informatik, zakládající prezident Ústavu pro vědu a technologie v Rakousku, čestný doktor Masarykovy univerzity
vzdělání
Univerzita Jana Keplera v Linci a univerzita v Delaware v USA
čestný doktorát
Masarykova univerzita v Brně (14. 10. 2015)
zaměstnání
Institute of Science and Technology Austria
poznámky
Jeden z předních odborníků na oblast výzkumu formálních metod pro automatickou verifikaci počítačových systémů, autor zásadních vědeckých prací v oblastech hybridních systémů, temporálních logik a teorie her. Významně přispěl k formování směru výzkumu ve svém oboru.
autor
Kal
