Adam Fiedler

Adam Fiedler earned his master's degree in Theoretical Computer Science from Masaryk University, where he won the Dean's award for excellent academic results. During his studies he became a member of the Laboratory of Formal Methods, Logic, and Algorithms. He completed an Erasmus+ program at TU Dresden, focusing on Computational Logic. He also did an internship in the business analytics industry and worked on various software engineering problems. Adam's main research interests are logic and the theory of programming languages. He aims to find theoretical foundations that could give real-world software formal guarantees. That is why in 2021, he joined the research effort led by Grigore Rosu, which resulted in a diploma thesis with new non-trivial results and further cooperation with RV.