About

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.

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 tweet me @fiedlr. You can also find more information in my CV.

A portrait of Adam Fiedler

Go up