People @ D3S - Department of Distributed and Dependable Systems

Home

People

DepartmentComponent Group Formal Methods Group Systems Group

Research

OverviewD3S Seminar Components and Services Formal Methods Operating Systems Performance Evaluation

Publications

By yearBy author By topic By grant By tag

Links

Conferences Videos Ph.D. Studies

Contact

Address & PhoneMap

Chair of department:	Petr Tůma

Vice-Chair of department:	František Plášil

Scientific secretary:	Jan Kofroň

Professor

Name	Contact	Member of	Research topics
František Plášil Vice-Chair of department	+420 221 914 266 more ... Full name: prof. Ing. František Plášil, DrSc. Email: plasil<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~plasil/ Phone: +420 221 914 266 Fax: +420 221 914 323 Office: Room No. 212 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	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 more ... Full name: doc. Ing. Petr Tůma, Dr. Email: tuma<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~ceres/ Phone: +420 221 914 267 Office: Room No. 205 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Systems Group	distributed systems component systems middleware

Assistant professors

Name	Contact	Member of	Research topics
Lubomír Bulej	+420 221 914 267 more ... Full name: Ing. Lubomír Bulej, Ph.D. Email: bulej<at-sign>d3s.mff.cuni.cz Phone: +420 221 914 267 Office: Room No. 205 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Systems Group	performance evaluation and monitoring in distributed environment deployment of component applications connectors
Tomáš Bureš	+420 221 914 236 more ... Full name: RNDr. Tomáš Bureš, Ph.D. Email: bures<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~bures/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Component Group	component connectors
Petr Hnětynka Group leader	+420 221 914 143 more ... Full name: RNDr. Petr Hnětynka, Ph.D. Email: hnetynka<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~hnetynka/ Phone: +420 221 914 143 Office: Room No. 212 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Component Group	component-based systems model-driven development services
Jan Kofroň Scientific secretary Group leader	+420 221 914 285 more ... Full name: RNDr. Jan Kofroň, Ph.D. Email: kofron<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~kofron/ Phone: +420 221 914 285 Office: Room No. 309 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Formal Group	formal verification code model checking
Pavel Parízek	+420 221 914 235 currently on postdoc more ... Full name: RNDr. Pavel Parízek, Ph.D. Email: parizek<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~parizek/ Phone: +420 221 914 235 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic Note: 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 more ... Full name: RNDr. Ondřej Šerý, Ph.D. Email: sery<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~sery/ Phone: +420 221 914 285 Office: Room No. 309 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Formal Group	behavior specification of software components and code analysis

Lector

Name	Contact	Member of	Research topics
Alena Koubková	+420 221 914 268 more ... Full name: RNDr. Alena Koubková, CSc. Email: koubkova<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~koubkova/ Phone: +420 221 914 268 Office: Room No. 202 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	—	statistical models

Researchers

Name	Contact	Member of	Research topics
Pavel Ježek	+420 221 914 235 more ... Full name: Mgr. Pavel Ježek Email: jezek<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~jezek/ Phone: +420 221 914 235 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Component Group	formal verification of components' behavior application of behavior protocols
Petr Kroha	more ... Full name: Prof. RNDr. Ing. Petr Kroha, CSc. Email: kroha<at-sign>d3s.mff.cuni.cz	—

Part-time researchers & Ph.D. students

Name	Contact	Member of	Research topics
Vlastimil Babka	+420 221 914 232 more ... Full name: RNDr Vlastimil Babka Email: babka<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~babka/ Phone: +420 221 914 232 Office: Room No. 205 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Systems Group	performance evaluation and modeling with resource sharing
Martin Děcký	+420 221 914 189 more ... Full name: Mgr. Martin Děcký Email: decky<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~decky/ Phone: +420 221 914 189 Office: Room No. 205 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Systems Group	application of software components in operating system design formal verification of operating systems
David Hauzar	+420 221 914 121 more ... Full name: Mgr. David Hauzar Email: hauzar<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~hauzar Phone: +420 221 914 121 Office: Room No. 309 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Formal Group	code model checking verification of web applications
Vojtěch Horký	+420 221 914 189 more ... Full name: Mgr. Vojtěch Horký Email: horky<at-sign>d3s.mff.cuni.cz Phone: +420 221 914 189 Office: Room No. 205 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Systems Group
Ilias Gerostathopoulos	+420 221 914 236 more ... Full name: Ilias Gerostathopoulos Email: iliasg<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~iliasg/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Component Group	Model-driven development of real service-oriented systems
Pavel Jančík	+420 221 914 121 more ... Full name: Mgr. Pavel Jančík Email: pavel.jancik<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~jancik/ Phone: +420 221 914 121 Office: Room No. 309 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Formal Group	code model checking
Jaroslav Keznikl	+420 221 914 236 more ... Full name: Mgr. Jaroslav Keznikl Email: keznikl<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~keznikl/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Component Group	software architectures formal modeling of software systems model-driven development component-based development
Michal Kit	+420 221 914 236 more ... Full name: Michal Kit Email: kit<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~kit/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Component Group
Peter Libič	+420 221 914 232 more ... Full name: Mgr. Peter Libič Email: libic<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~libic/ Phone: +420 221 914 232 Office: Room No. 205 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Systems Group	performance evaluation and modeling of garbage collectors
Michal Malohlava	+420 221 914 236 more ... Full name: RNDr. Michal Malohlava Email: malohlava<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~malohlava/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Component Group	model-driven development component-based development domain-specific languages real-time and embedded systems
Lukáš Marek	+420 221 914 232 more ... Full name: RNDr. Lukáš Marek Email: marek<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~marek/ Phone: +420 221 914 232 Office: Room No. 205 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Systems Group	performance evaluation of distributed systems
Andrej Podzimek	+420 221 914 232 more ... Full name: Mgr. Andrej Podzimek Email: podzimek<at-sign>d3s.mff.cuni.cz Phone: +420 221 914 232 Office: Room No. 205 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Systems Group	quality of service in virtualized environments
Tomáš Pop	+420 221 914 121 more ... Full name: RNDr. Tomáš Pop Email: pop<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~pop/ Phone: +420 221 914 121 Office: Room No. 309 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Component Group	components and services communication in resource constrained distributed environments
Viliam Šimko	+420 221 914 236 more ... Full name: RNDr. Viliam Šimko Email: simko<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~simko/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Component Group	automatic transformation of textual use-cases to the implementation using component systems

External members

Name	Contact	Member of	Research topics
Leo Galamboš	more ... Full name: RNDr. Leo Galamboš, Ph.D. Email: galambos<at-sign>d3s.mff.cuni.cz Web: http://www.egothor.org/~galambos/	—	—
Tomáš Martinec	more ... Full name: Tomáš Martinec, Bc. Email: martinec<at-sign>d3s.mff.cuni.cz	—	—
Václav Pech	more ... Full name: Mgr. Václav Pech Email: pech<at-sign>d3s.mff.cuni.cz Web: http://www.jetbrains.com/company/people/Pech_Vaclav.html	—	—

Secretary

Name	Contact	Member of	Research topics
Petra Novotná	+420 221 914 245 more ... Full name: Petra Novotná Email: novotna<at-sign>d3s.mff.cuni.cz Phone: +420 221 914 245 Office: Room No. 308 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	—	—

Former members

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ý

Modified on 2012-04-12