List of Participants to Brokerage Event
![]() | ||
| First Name: | Bohuslav | |
| Last name: | Křena | |
| Position title: | Assistant Professor | |
About Organization | ||
| Organization: | Brno University of Technology, Faculty of Information Technology | |
| Organization Profile: | Thematic Focus: Static and dynamic analysis and verification of software, Formal verification of software and hardware, Model checking, testing, methods for self-healing of programs at run-time Current Research Priorities: Automated methods of formal verification of programs with dynamic pointer-linked structures, efficient symbolic verification of Java programs, static and dynamic analysis of Java programs focused on concurrency related problems (on unicore as well as multicore architectures), methods for self-healing (i.e., automated correction) of concurrency related problems (at the development time as well as the runtime), formal verification of parameterized systems (protocols, programs, hardware), formal verification of array manipulating programs, formal verification of modern hardware designs, and the underlying theoretical problems related to the automata theory, logics, etc. | |
| Department: | Department of Intelligent Systems | |
| Web site: | http://www.fit.vutbr.cz/units/UITS | |
| Country: | Czech Republic | |
Further details | ||
| Area of interest: |
* Pervasive and trusted network and service infrastructure * Components, systems and engineering | |









