| Full professor |
| Frantisek Plasil |
| |
| Associate professor |
Research topics |
| Petr Tuma |
distributed systems, component systems, middleware |
| |
| Assistant Professors |
Research topics |
| Lubomir Bulej |
performance evaluation and monitoring in distributed environment, deployment of component applications, connectors |
| Tomas Bures |
component connectors |
| Petr Hnetynka |
component-based systems, model-driven development, services |
| Tomas Kalibera |
real-time and embedded Java, real-time garbage collection, statistical methods in benchmarking |
| Jan Kofron |
formal verification of components' behavior, behavior protocols |
| Pavel Parizek |
behavior modeling and verification of software components, automated verification and analysis of programs |
| |
| Specialist |
Research topics |
| Pavel Jezek |
formal verification of components' behavior, application of behavior protocols |
| |
| Part-time Researchers |
Research topics |
| Vlastimil Babka |
performance evaluation and modeling with resource sharing |
| Martin Decky |
application of software components in operating system design |
| Peter Libic |
performance evaluation and modeling of garbage collectors |
| Michal Malohlava |
components, connectors, generative programming |
| Lukas Marek |
performance evaluation of distributed systems |
| Tomas Poch |
behavior specification of software components |
| Ondrej Sery |
behavior specification of software components and code analysis |
