Present Position
Full Professor, Department of Distributed and Dependable Systems, Vice-Chair
Research Topics
Current
- Component-based programming, SOA
- Behavior specification and verification, model checking
- Object-oriented and distributed systems
Recent
- Object-oriented paradigm in parallel programming languages and operating systems
- Operating system microkernels construction, framework paradigm
- Compilers and operating systems
- Theoretical aspects of programming languages
Projects
- Q-ImPrESS – Quality Impact Prediction for Evolving Service-oriented Software
- SOFA 2.0 – new version of the SOFA component model
- OSIRIS – Open Source Infrastructure for Run-time Integration of Services
- CoCoME – Common Component Modelling Example
- Behavior protocols in Fractal – Extending the Fractal component model and its Julia implementation with support for behavior protocols
- Procasor – Deriving behavior specifications from textual use cases
- Middleware Benchmarking – Methodology for middleware benchmarking
Past projects
- List of more recent projects
- Ada compiler (1984-86) – in cooperation with industry, head of the department team, design of tasking
- Concurrent Pascal (1978-81)
- Algol 60 (1973-76)
- Fortran and an operating system (1968-72)
Publications
The list of publications is available here.
Teaching
Currently teaching
Taught within last 5 years
- Object-Oriented Systems
- System Behaviour Models and Verification
- Operating Systems
- Advanced Topics in Operating Systems and Parallelism
- Object-Oriented Methodology
- Distributed Component-Based Programming
Professional Activities (since 1996)
International Journal Editor Board Membership
- The Journal of Network and Computer Applications, Academic Press London, since 1999
- Studia Informatica Universalis, Edition Suger, France, since 2004
- International Journal of Computer and Information Science (IJCIS), ACIS, USA, since 2005
Professional Organization Membership (up to 2005)
- ACM (USA)
- IEEE CS (USA)
International Organization Membership
- ObjectWeb, Member of College of Architects (2003-2004), Member of ObjectWeb Board of Directors (2003).
- EC Consorcium ERCIM/CRCIM: Europian Liason and representative of Charles University, Faculty of Mathematics and Physics (since 1995)
- Chairman to the Czech ACM Chapter, 1992-2000
- Member of the Advisory Board of the ACM Committee for the Central and Eastern Europe, 1990-1996
Program Committee of International Conferences
| EWSA 2006 | Third European Workshop on Software Architecture, Languages, Styles, Models, Tools, and Applications, Nantes |
| SERA 2006 | 4th ACIS International Conference on Software Engineering Research, Management & Applications, Seattle |
| FORTE2006 | 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, Paris |
| QoSA 2006 | Second International Conference on the Quality of Software Architectures, Vasteras, Sweden |
| FACS 2006 | Third International Workshop on Formal Aspects of Component Software, Prague |
| FESCA 2006 | Formal Foundations of Embedded Software and Component-Based Software Architectures, Vienna |
| EDOC 2006 | Tenth International IEEE EDOC Conference “The Enterprise Computing Conference”, Hong Kong |
| QoSA 2005 | First International Conference on the Quality of Software Architectures, Erfurt, Germany |
| EWSA 2005 | Second European Workshop on Software Architecture Pisa, Italy |
| EDOC 2005 | The 9th IEEE International EDOC Conference “The Enterprise Computing Conference”, Enschede, The Netherlands |
| SERA 2003 | 1st ACIS International Conference on Software Engineering Research & Applications, San Francisco |
| USE 2003 | Workshop on Unanticipated Software Evolution at ETAPS2003, Warsaw |
| USE 2002 | First International Workshop on Unanticipated Software Evolution, Held in conjuction with ECOOP 2002, Malaga, Spain |
| HICSS-34 | Hawaii International Conference on System Sciences, Minitrack on Trading of Intangible Goods, Hawaii, USA, 2001 |
| HICSS-33 | Hawaii International Conference on System Sciences, Minitrack on Trading of Intangible Goods, Hawaii, USA, 2000 |
| FM'99 | Formal Methods World Congress, Toulouse, France, 1999 |
| Euro-PDS'98 | IASTED Conference (2nd European Parallel and Distributed Systems Conference), Vienna, Austria, 1998 |
| JMLC 1996 | Conference (Joint Modular Language Conference), Linz, Austria |
| SOFSEM | Annual Seminar on Current Trends in Theory and Practice of Informatics2001 Piestany, Slovakia |
| 1999 Milovy, Czech Republic | |
| 1998 Jasna dolina, Slovakia | |
| 1993-1996 Milovy, Czech Republic |
Program Chair of International Conferences
- SOFSEM'06 chair of the track Dependable software and systems (33th Annual Conference on Current Trends in Theory and Practice of Informatics ), Milovy, Czech Republic
- SOFSEM'02 co-chair (29th Annual Conference on Current Trends in Theory and Practice of Informatics), Milovy, Czech Republic
- SOFSEM'97 co-chair (24th Annual Conference on Current Trends in Theory and Practice of Informatics), Milovy, Czech Republic
Executive Board Membership
- Endowmend Board of the SOFSEM Conference, 1992 - 2002
CV / Profile
Education/Degrees
- 2000 – Full Professor in Computer Science, Faculty of Mathematics and Physics, Charles University, Prague
- 1984 – Associate Professor in Computer Science, Czech University of Technology, Prague
- 1978 – Ph.D. in Computer Science, Czech University of Technology, Prague Thesis: A Model of Processes and Monitors Identification
- 1965 – M.Sc. in Computer Science, Czech University of Technology, Prague Thesis: Control Program for punch card reader on Ural-2 computer
- 1960-65 – Studies of Electrical Engineering at the Czech University of Technology, Prague, Czechoslovakia
Employment Record
- 2002 (two semesters) – Visiting Professor, University of New Hampshire, Department of Computer Science, Durham, NH, USA
- 1999 - 2000 (two semesters) – Visiting Associate Professor, Wayne State University, Department of Computer Science, Detroit, USA
- since 1995 – Researcher, Czech Academy of Sciences, Institute of Computer Science, Prague, Czech Republic
- 1996 - 1999 (spring semester) – Associate Professor, Masaryk University, Faculty of Informatics, Department of Computer Systems and Communications, Brno, Czech Republic
- 1992 - 94 (one semester/year) – Visiting Professor. Forschungsinstitut fuer Mikroprocessortechnik, University of Linz, Austria
- 1990 - 91 – Visiting Associate Professor. University of Denver, Dept. of Math. and Computer Sci., USA
- 1989-90 – Visiting Assistant Professor. University of Denver, Dept. of Math. and Computer Sci., USA
- 1984-94 – Associate Professor. Czech University of Technology, Faculty of Electrical Engineering, Department of Computer Science and Engineering, Prague, Czechoslovakia
- 1969-84 – Assistant Professor. Czech University of Technology, Faculty of Electrical Engineering, Department of Computer Science and Engineering, Prague, Czechoslovakia
- 1965-69 – System Programmer. Research Institute for Medical Electronics, Prague, Czechoslovakia
PhD Students (graduated)
- Korbar, J. 1985 - 1989 An Imperative model of Concurrency
- Zemanek, P. 1986 - 1989 A Stochastic Model of Concurrency
- Bartos, R. 1987 - 1996 Univ. of Denver, CO, USA
- Fanta, R. 1992 - 2000 Wayne State Univ., MI, USA
- Tuma, P. 1994 - 1997 Persistency in CORBA
- Kleindienst, J. 1992 - 1998 The Bean Channel, Java Distributed Event Model
- Balek, D. 1994 - 2002 The Role of Connectors in Component-Based Programming
- Besta, M. 1999 - 2005 Wayne State Univ., MI, USA
- Brada, P. 1995 - 2003 Versioning in Software Component Models
- Prochazka, M. 1997 - 2002 Transactions in Software Components, Univ. of Evry, France
- Visnovsky, S. 1999 - 2002 Modeling Software Components Using Behavior Protocols
- Mencl, V. 1998 - 2004 Use Cases: Behavior Assembly, Behavior Composition and Reasoning
- Hnetynka, P. 2000 - 2005 Making Deployment Process of Distributed Component-Based Software Unified
- Adamek, J. 2001 - 2006 Behavior Composition in Component Systems
- Bures, T. 2002 - 2006 Creating Connectors for Homogenous and Heterogenous Deployment
- Kofron, J. 2003 - 2007 Behavior Protocols Extensions
Awards
- ACM Recognition: Local Activities Board, ACM 1994, 1996
- Rudolf Christian Karl Diesel Best Paper Award, IDPT 2003, Austin, Texas