I am currently an MSc student of Computer Science (Dependable Systems) at Faculty of Mathematics and Physics, Charles University in Prague. My interests include software verification, compilers design and model-driven-architecture. Occasionally, I carry out contract work as a programmer or a consultant. My blog is unfortunatelly mainly written in Czech. My CV in English is available, though.

I enjoy all sorts of sport (except ballet dancing, sorry Billy Elliot) and traveling.

Projects

• Graphviz4Net — graphs visualization in WPF using GraphViz.
• Patterns4Net — verification of correctness of implementation of selected design patterns and UML reverse-engineering with stressed design patterns.
• SourceHeader — software for maintenance of source code header comments.
•