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. 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:

Computer science, formal methods, software engineering, component-based software architectures, quality attributes of software systems (reliability, performance), smart infrastructures, software support of power-grid management.
Find more information on the research page.

How to contact me:

© Bara Buhnova, 2005-2014