List of Participants to Brokerage Event
 | ||
| First Name: | Antonín | |
| Last name: | Kučera | |
| Position title: | Professor | |
About Organization | ||
| Organization: | Masaryk University, Department of Computer Science | |
| Organization Profile: | Thematic Focus: Formal modelling and verification of discrete systems with a special emphasis on verification of computer software, Algorithms and software tools for formal verification, Parallel and distributed model-checking and its combination with methods of static analysis, Stochastic aspects of software systems, Infinite-state systems, Games for verification Current Research Priorities: Development of practically usable software tools for formal verification of programs written in imperative languages (such as C or Java); Tools for modelling and analysis of applications in mobile networking; Algorithmic issues related to parallel and distributed model-checking; Effective modelling and analysis of world wide web using recursive Markov chains; Stochastic games with branching-time winning objectives; Infinite-state systems. | |
| Department: | Department of Computer Science | |
| Web site: | http://www.fi.muni.cz | |
| Country: | Czech Republic | |
Further details | ||
| Area of interest: |
* Pervasive and trusted network and service infrastructure | |
