People @ D3S - Department of Distributed and Dependable Systems

DepartmentComponent Group Formal Methods Group Systems Group

OverviewD3S Seminar Components and Services Formal Methods Operating Systems Performance Evaluation

By yearBy author By topic By grant By tag

OverviewAcademic Writing Advanced Tools for Software Development and Monitoring Advanced .NET Programming I Advanced .NET Programming II Advanced Programming for Java Platform Commercial Workshops Computer Architecture C# Language and .NET Platform Seminar on Data Structures I Seminar on Data Structures II Embedded & Real-Time Systems Experimental Analysis of Algorithms Individual Software Projects Introduction to Dependable Systems Java Concepts of Modern Programming Languages Middleware Developing Applications for Mobile Devices Model-driven Design of Embedded & Real-Time Systems NetBeans & Eclipse Platforms Object & Component Systems Operating Systems Performance Evaluation of Computer Systems Principles of Computers Probabilistic Analysis of Algorithms Probabilistic Models in Computer Science Program Analysis & Code Verification Recommended Programming Practices Research Project Work D3S Seminar Software Development Tools Software Development & Monitoring Tools Software Requirements Specification Sorting Stochastic Methods in Databases System Behaviour Models & Verification UNIX Administration

Conferences Videos Ph.D. Studies

Address & PhoneMap

Department photo

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 268 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 268 Office: Room No. 202 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Formal Group	program verification bug finding static 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, Ph.D. 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	—
Michal Malohlava	+420 221 914 143 currently on postdoc more ... Full name: RNDr. Michal Malohlava, Ph.D. Email: malohlava<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~malohlava/ Phone: +420 221 914 143 Office: Room No. 212 Malostranské náměstí 25 118 00 Praha 1 Czech Republic Note: currently on postdoc	Component Group	model-driven development component-based development domain-specific languages real-time and embedded systems

Part-time researchers & Ph.D. students

Name	Contact	Member of	Research topics
Rima Al Ali	+420 221 914 236 more ... Full name: Eng. Rima Al Ali Email: alali<at-sign>d3s.mff.cuni.cz Web: http://d3s.mff.cuni.cz/~alali/ Phone: +420 221 914 236 Office: Room No. 204 Malostranské náměstí 25 118 00 Praha 1 Czech Republic	Component Group	Formal Specification of Services
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: Mgr. 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	Supporting Heterogeneous Service-oriented Systems
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
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 currently abroad 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 Note: currently abroad	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	Requirements Engineering Natural Language Processing

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: Bc. Tomáš Martinec 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, 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á, 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, Ondřej Šerý, Stanislav Višňovský

Modified on 2012-04-12