photo FI MU

Barbora Buhnova

Masaryk University, Faculty of Informatics
Botanicka 68a
602 00 BRNO, Czech Republic

buhnova (at)


Personal identification:

Assistant Professor
Ing. RNDr. Barbora Bühnová, Ph.D.
Dep. of Computer Systems and Communications
Web MU:
Web IS MU:


Bara Buhnova (born Zimmerova) has received her master degree in computer science at Masaryk University in Brno, Czech Republic, in 2004. In 2008, she received her RNDr. and Ph.D. degrees at the same university, both for application of formal methods in component-based software engineering. She continued with related topics as a postdoc researcher at University of Karlsruhe and Research Center for Information Technology (FZI) in Karlsruhe, Germany, and later at Swinburne University of Technology in Melbourne, Australia. Besides construction of formal models of software systems, she is attracted to modelling of socio-economic systems, for which she (in 2009) received a master degree in economics at Mendel University in Brno, Czech Republic. Since then, she is fond of exploring the domains where computer science and its formal methods can accelerate their maturity and product quality. Although being Czech, she drinks no beer, and hopes that she will not be blamed if Czech falls from the world top in beer consumption - but this will never happen ;).
Curriculum Vitae for download.


PB007 Software Engineering I
PV167 Project in Object-oriented Design of Information Systems
PV178 Introduction to Development in C#/.NET
PV179 Selected Topics in .NET Technologies
PV226 Seminar LaSArIS
PV239 Mobile Application Development
DPITS Enterprise IT Systems and Services

Past courses:
IB102 Automata, Grammars, and Complexity
IB108 Algorithms and data structures II
PB162 Java

Research interests:

Software engineering, formal methods, component-based software architectures, architecture optimization, quality attributes of software systems (reliability, performance), reliability engineering, software support of smart grid management, smart cities, embedded systems.
Find more information on my research page.

How to contact me:

© Bara Buhnova, 2005-2014