Péter Bereczky
Assistant Lecturer at Eötvös Loránd University - Faculty of Informatics
Budapest, Hungary
Summary
👤
Senior🎓
Top SchoolPéter Bereczky is an academic software engineer and Assistant Lecturer at Eötvös Loránd University in Budapest with eight years of experience bridging research and teaching in computer science. He completed his BSc, MSc and a PhD journey at ELTE, finishing a doctoral program in 2025 after several years as a PhD student focused on advanced CS topics. Péter brings practical development experience from an early internship at SmartX Solutions and now combines that industry perspective with academic research and course instruction. Known for translating research insights into classroom-ready material, he actively engages with the research community as evidenced by his ResearchGate presence. Colleagues describe him as a thoughtful educator who leverages hands-on projects to prepare students for real-world software challenges.
8 years of coding experience
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Eötvös Loránd University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (20)
core-erlang10
mathematical9
coq9
textual9
homotopy-type-theory8
theorem-proving8
proofs8
sat-solver8
dependent-types8
agda8
proof-assistant8
translation8
executable8
uml7
semantics6
Programming languages (4)
Github contributions (5)
harp-project/Core-Erlang-Formalization
Nov 2019 - Feb 2023
Contributions:13 releases, 3 reviews, 265 commits in 3 years 2 months
coqformalizationcore-erlangbig-step-semanticsprogram-equivalence
harp-project/Core-Erlang-mini
May 2021 - Mar 2023
Contributions:8 releases, 9 PRs, 99 pushes in 1 year 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.