Graduated in 1985 at the Institute of Techology in Pilsen in specialization Electronic computers. In 1999 he defended his PhD thesis in computer science. In 2003 he became an associate professor. His professional interests are programming languages, software technologies, simulations and testing. He has published (as author or co-author) more than 100 articles and lecture notes. In addition, he has written 12 books on programming. Works with several faculty boards.
Member o ACM SPY board
Member of scientific board of Faculty of Electrical Engineering and Informatics University of Pardubice
Member of The Reliable Software Architectures research group (ReliSA)