معرفی
Johannes Hölzl is a researcher affiliated with Vrije Universiteit Amsterdam. His work focuses on Formal Methods and Interactive Theorem Proving, with a strong emphasis on formal verification of probabilistic systems and programming language design.
His recent publications include:
- Markov Processes in Isabelle/HOL (2017)
- Fixed Points for Markov Decision Processes (2016)
- A Verified Compiler for Probability Density Functions (2015)
These works bridge theoretical computer science, mathematics, and probability theory, showcasing his expertise in developing formally verified tools for mathematical modeling and programming.
He has served as a committee member for the CPP 2019 track at POPL, and has previously contributed to co-located workshops such as LAFI and ESOP. His research is disseminated through formal verification frameworks and theorem proving systems like Isabelle/HOL.
۰مقاله منتشرشده
