Jsem studentem Matematicko-fyzikální fakulty oboru spolehlevé systémy, příležitostně pracuji jako aplikační programátor. Zajímám se o verifikaci softwaru, překladače a model-driven-architecture. Některé svoje postřehy zveřejňuji na vývojářském blogu. K dispozici je i moje CV.

Mimo práci a školu rád provozuji téměř libovolný sport a baví mě cestování.

Projekty

• Graphviz4Net — vizualizace grafů ve WPF pomocí filtru GraphViz.
• Patterns4Net — verifikace správné implementace vybraných návrhových vzorů a generování UML diagramů, které zdůrazňují použité návrhové vzory. (Moje bakalářská práce)
• vyuctovani.com — systém pro online sepsání všech účtů za hromadnou akci a jejich spravedlivé rozdělení mezi všechny účastníky.
• SourceHeader — hromadná správa hlaviček zdrojových souborů.
•