I studied Theoretical Computer Science at Masaryk University. Currently, I'm a Lead Engineer at Pi Squared. We're developing a universal verifiable computing solution that is plug-and-play for any programming language.

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