Thomas Henzinger

Informatik, Rakouská republika

Významný vědec v oblasti 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. Profesor Henzinger významně přispěl k formování směru výzkumu ve svém oboru.

Návrh na udělení čestné vědecké hodnosti doctor honoris causa v oboru informatika byl předložen Fakultou informatiky Masarykovy univerzity. Slavnostní promoce proběhla 14. října 2015. Při příležitosti udílení čestného doktorátu byla vydána tato informační brožura.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info