conf.researchr.org / Péter Bereczky
Registered user since Tue 2 Sep 2025
Name:Péter Bereczky
Country:Hungary
Affiliation:Eötvös Loránd University
GitHub: https://github.com/berpeti
Research interests:Formal verification, Erlang, Rocq, Formal semantics
Contributions