Assistant Professor
Ing. RNDr. Barbora Bühnová, Ph.D.
Dep. of Computer Systems and Communications
Web MU: http://www.muni.cz/people/buhnova
Web IS MU: http://is.muni.cz/person/buhnova

Bara Buhnova (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 ;).
Interested in more? Try the CV :).

IB102 Automata and Grammars (past)
IB108 Algorithm Design II (past)
PB007 Systems Analysis and Design (past)
PB162 Java
PV167 Project in Object-oriented Design of Information Systems, informace pro studenty zde
PV168 Seminar in Java programming
PV178 Introduction to Development in C#/.NET
PV179 Selected Topics in .NET Technologies
PV226 Seminar LaSArIS
PV226/ADMP Application Development on Mobile Platforms
DPITS Enterprise IT Systems and Services

Computer science, formal methods, software engineering, component-based software architectures, quality attributes of software systems (performance, reliability), application of the automata theory, software verification. For more info see my research page.

• Email: buhnova (at) fi.muni.cz
• Phone: +420 549 494 494
• Office: G109 (Centrum Šumavská, Šumavská 416/15, 602 00 Brno)