Péter Szkupien
Senior Software Engineer at Corvinus University of Budapest
Budapest, Hungary
Summary
👤
Senior🎓
Top SchoolPéter Szkupien is a Senior Software Engineer based in Budapest with six years of experience building high-performance Java backends, primarily in the financial and safety-critical domains. He has a strong academic foundation (Honours MSc in Computer Science Engineering) and blends research-grade rigor—formal verification and model-based tooling—with practical production work, having processed 1M+ daily events and halved processing times at a global brokerage. Péter has automated code generation and testing to dramatically cut manual effort in safety-critical railway systems and now applies that discipline to AI-for-advisors and fintech reconciliation pipelines. He teaches and redesigns curricula at Corvinus University, reflecting a knack for translating complex concepts into teachable, maintainable solutions. Colleagues count on him for performance-minded engineering, cross-timezone collaboration, and pragmatic automation that reduces operational toil.
6 years of coding experience
6 years of employment as a software developer
Master's degree, Computer Science Engineering, Master's degree, Computer Science Engineering at Budapest University of Technology and EconomicsPrimary School, Primary School at Móra Ferenc Primary School, BudapestPostgraduate Degree, Information Management, Postgraduate Degree, Information Management at Corvinus University of BudapestHigh School, Science, High School, Science at Szent István Secondary School, Budapest
Hungarian, English, German
Github Skills (23)
tla7
abstraction7
model-checking7
automata7
eclipse6
declarative-programming6
formal-verification6
verification6
component-based6
homotopy-type-theory5
coq5
code-generation5
statechart5
composition5
agda5
Programming languages (3)
Github contributions (5)
szkupienpeti/theta
Feb 2021 - Oct 2022
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Contributions:2 PRs, 22 pushes, 2 branches in 1 year 8 months
configurableformal-verificationformalgenericmodular
szkupienpeti/cv
Sep 2022 - Dec 2023
Contributions:10 pushes, 1 branch in 1 year 3 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.