Home | Sitemap | Contact | Legals | Data Protection | KIT

Since 1 January 2021, the chair for Software Design and Quality is part of the KASTEL institute as the Dependability of Software-intensive Systems group. Please visit our new homepage at https://dsis.kastel.kit.edu.

Dr. Barbora Bühnová

This is the alumni page of Barbora Bühnová. It is online for archiving reasons. The information on this page may thus be outdated; please refer to the current webpage of the person for details.

Research Interests

I am concerned with formal analysis of component-based systems in view of interactions among components.