Computer Scientist, Republic of Austria
Eminent scientist in the field of automated formal verification of computer systems, author of fundamental scientific works in the fields of hybrid systems, temporal logics and game theory, holder of a wide range of awards for contributions to research in his field.
A proposal to grant an honorary degree of Doctor Honoris Causa in the field of Informatics was submitted by the Faculty of Informatics of Masaryk University. The graduation ceremony was held on 14 October 2015. A brochure introducing the nominee was issued on the occasion of the awarding of this honorary doctorate.