Department photo
Alena KoubkováTomáš PochTomáš PochLukáš MarekLukáš MarekLukáš MarekLukáš MarekPetr TůmaPetr TůmaLubomír BulejLubomír BulejLubomír BulejPeter LibičPetra NovotnáPetra NovotnáPetr HnětynkaPetr HnětynkaOndřej ŠerýOndřej ŠerýPavel JežekPavel JežekPavel JežekTomáš PopTomáš PopViliam ŠimkoViliam ŠimkoViliam ŠimkoPavel ParízekPavel ParízekJan KofroňJan KofroňJan KofroňMartin DěckýMartin DěckýVlastimil BabkaVlastimil BabkaVlastimil BabkaMichal MalohlavaMichal MalohlavaTomáš KaliberaTomáš KaliberaTomáš BurešTomáš BurešFrantišek PlášilFrantišek Plášil
Chair of department: Tomáš Bureš
Vice-Chair of department: Petr Tůma
Scientific secretary: Petr Hnětynka

Professor

Name Contact Member of Research topics
František Plášil +420 221 914 266 Formal Group
Component Group
component-based programming, SOA
behavior specification and verification, model checking
object-oriented and distributed systems

Associate professors

Name Contact Member of Research topics
Tomáš Bureš
Chair of department
+420 221 914 236 Component Group component connectors
Petr Hnětynka
Scientific secretary
Group leader
+420 221 914 143 Component Group component-based systems
model-driven development
services
Petr Tůma
Vice-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
currently abroad
Systems Group performance evaluation and monitoring in distributed environment
deployment of component applications
connectors
Jan Kofroň
Group leader
+420 221 914 285 Formal Group formal verification
code model checking
Pavel Parízek +420 221 914 148 Formal Group program verification
bug finding
static 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
Michal Malohlava +420 221 914 143
currently on postdoc
Component Group model-driven development
component-based development
domain-specific languages
real-time and embedded systems
Viliam Šimko +420 221 914 236
currently on postdoc
Component Group Requirements Engineering
Natural Language Processing

Part-time researchers & Ph.D. students

Name Contact Member of Research topics
Rima Al Ali +420 221 914 236 Component Group Formal Specification of Services
Jakub Daniel +420 221 914 121 Formal Group program verification
Martin Děcký +420 221 914 189 Systems Group application of software components in operating system design
formal verification of operating systems
David Hauzar +420 221 914 121 Formal Group code model checking
verification of web applications
Vojtěch Horký +420 221 914 189 Systems Group
Ilias Gerostathopoulos +420 221 914 236 Component Group Model-driven development of real service-oriented systems
Pavel Jančík +420 221 914 121 Formal Group code model checking
Zbyněk Jiráček +420 221 914 235 Component Group
Michal Kit +420 221 914 236 Component Group Supporting Heterogeneous Service-oriented Systems
Filip Krijt +420 221 914 235 Component Group
Peter Libič +420 221 914 232 Systems Group performance evaluation and modeling of garbage collectors
Vladimír Matěna +420 221 914 235 Component Group
Andrej Podzimek +420 221 914 232
currently abroad
Systems Group quality of service in virtualized environments
Dominik Škoda +420 221 914 235 Component Group
Antonín Steinhauser +420 221 914 232 Systems Group
Jiří Vinárek
currently abroad
Component Group

External members

Name Contact Member of Research topics
Leo Galamboš
Václav Pech

Secretary

Name Contact Member of Research topics
Petra Novotná +420 221 914 245

Former members

Jiří Adámek, Jan Alexandr, Vlastimil Babka, 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á, Jaroslav Keznikl, Jan Kleindienst, Juan Ángel Lorenzo del Castillo, Martin Mach, Lukáš Marek, Tomáš Martinec, Vladimír Mencl, Ondrej Mikle, Daniel Mikušík, Andranik Muradyan, Maksym Nesen, Tomáš Opluštil, Petr Panuška, Tomáš Poch, Tomáš Pop, Radek Pospíšil, Marek Procházka, Ondřej Šerý, Stanislav Višňovský
Modified on 2012-04-12