I studied Theoretical Computer Science at Masaryk University. When it comes to research, I'm primarily interested in mathematical logic and formal verification. My software endeavors can be found on GitHub. This website, on the other hand, aims to share some of my readable ideas with the world.

If you are intrigued by what I do or have any questions, I would be more than glad to hear from you! Just drop me an e-mail or reach me on LinkedIn.

Go up