Barbora BuhnovaMasaryk University, Faculty of Informatics
602 00 BRNO, Czech Republic
buhnova (at) fi.muni.cz
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
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.