I studied Theoretical Computer Science at Masaryk University. Currently, I'm a Research Engineer at Runtime Verification Inc. We're developing matching logic, which is the logical foundation of the K framework.
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.