Query Details

Prof. Dr. Antonin Kucera

The following information may be used exclusively for initiation and maintenance of your own scientific cooperations. It may not be used for any commercial purposes.

Current academic position Full Professor
Field of research Theoretical Computer Science
Keywords formal methods, game theory in formal verification, probabilistic model-checking, computer science, semantics
Contact address
Country Germany
City Garching
University/Institution Technische Universität München
Institute/Department Fakultät für Informatik
Host(s) and host institute(s) during Humboldt sponsorship:
Prof. Dr. Javier Esparza
Technische Universität München
Garching
Prof. Dr. Javier Esparza
Universität Stuttgart
Stuttgart
Prof. Dr. Javier Esparza
Technische Universität München
München
Start of first sponsorship 01.06.1998