Barbora Bühnová (Zimmerová)Masaryk University, Faculty of Informatics
602 00 BRNO, Czech Republic
buhnova (at) fi.muni.cz
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)
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.