Professor
| Name |
Contact |
Member of |
Research topics |
|
František Plášil Vice-Chair of department
|
+420 221 914 266
|
Formal Group Component Group |
component-based programming, SOA behavior specification and verification, model checking object-oriented and distributed systems |
Associate professor
| Name |
Contact |
Member of |
Research topics |
|
Petr Tůma Chair of department
Group leader
|
+420 221 914 267
|
Systems Group |
distributed systems component systems middleware |
Assistant professors
| Name |
Contact |
Member of |
Research topics |
|
Lubomír Bulej |
+420 221 914 267
|
Systems Group |
performance evaluation and monitoring in distributed environment deployment of component applications connectors |
|
Tomáš Bureš |
+420 221 914 236
|
Component Group |
component connectors |
|
Petr Hnětynka Group leader
|
+420 221 914 143
|
Component Group |
component-based systems model-driven development services |
|
Jan Kofroň Scientific secretary
Group leader
|
+420 221 914 285
|
Formal Group |
formal verification code model checking |
|
Pavel Parízek |
+420 221 914 235 currently on postdoc
|
Formal Group |
behavior modeling and verification of software components automated verification and analysis of programs |
|
Ondřej Šerý |
+420 221 914 285
|
Formal Group |
behavior specification of software components and code analysis |
Lector
| Name |
Contact |
Member of |
Research topics |
|
Alena Koubková |
+420 221 914 268
|
— |
statistical models |
Researchers
| Name |
Contact |
Member of |
Research topics |
|
Pavel Ježek |
+420 221 914 235
|
Component Group |
formal verification of components' behavior application of behavior protocols |
|
Petr Kroha |
|
— |
|
Part-time researchers & Ph.D. students
External members
Secretary
| Name |
Contact |
Member of |
Research topics |
|
Petra Novotná |
+420 221 914 245
|
— |
— |
Jiří Adámek, Jan Alexandr, Dušan Bálek, Miloslav Bešta, Přemysl Brada, Antonín Brčak, Adam Buble, Ondrej David, Michal Fadljevic, Jaroslav Gergič, Michael Grof, Nguyen Duy Hoa, Viliam Holub, Radovan Janeček, Tomáš Kalibera, Lucia Kapová, Jan Kleindienst, Juan Ángel Lorenzo del Castillo, Martin Mach, Vladimír Mencl, Ondrej Mikle, Daniel Mikušík, Maksym Nesen, Tomáš Opluštil, Petr Panuška, Tomáš Poch, Radek Pospíšil, Marek Procházka, Stanislav Višňovský
|