PB
Péter Bereczky
PhD Candidate and Assistant Lecturer at Eötvös Loránd University
Péter is a PhD candidate at Eötvös Loránd University, Budapest, with a strong interest in functional programming and software verification. He joined the High-Assurance Refactoring Project in 2019, focusing on reasoning about the meaning-preservation of refactorings in Erlang programs. His most significant achievement is an open-source formalisation of Core Erlang using the Coq/Rocq proof management system. Currently, he is developing formally based tools for the Erlang ecosystem.
