List of Participants to Brokerage Event
| First Name: | Jozef | |
|---|---|---|
| Last name: | Gruska | |
| Position title: | Department Head | |
About Organization | ||
| Organization: | Masaryk University, Faculty of Informatics | |
| 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, Future and Emerging Technologies. | |
| Department: | Department of Computer Science and Department of Highly Parallel and Distributed Computing Systems | |
| Web site: | http://www.fi.muni.cz | |
| Country: | Czech Republic | |
Further details | ||
| Area of interest: |
* Pervasive and trusted network and service infrastructure * Components, systems and engineering | |
