Present Position

Full Professor, Department of Distributed and Dependable Systems, Vice-Chair

Research Topics

Current

Recent

Projects

Past projects

Publications

The list of publications is available here.

Teaching

Currently teaching

Taught within last 5 years

Professional Activities (since 1996)

International Journal Editor Board Membership

Professional Organization Membership (up to 2005)

International Organization Membership

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

Executive Board Membership

CV / Profile

Education/Degrees

Employment Record

PhD Students (graduated)

Awards