My Research Activities

Updated 02.07.2018 15:11

This is an overview of my professional activities, which cover both research and applied projects. They are part of the Reliable software architectures research group, mainly.


Projects (current and recent)

The research group projects page has them all.

Research interests

See also topics for potential PhD students, and the areas of interest of our research group.

For reference: my PhD dissertation was on component substitutability, my habilitation thesis was on models, properties and consistency verification of component-based systems.

Membership and community involvement

I have served in the programme committees of Euromicro SEAA , FESCA, QUASOSS, etc.

My organizational involvement includes IFIP TC2, Informatics Europe.

Copyright 2004-2011 ZČU v Plzni, Přemek Brada. Publikováno v textpatternu.