Sergei Stepanenko
Postdoctoral Researcher at Aarhus University
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolSergei Stepanenko is a postdoctoral researcher and programming languages specialist with eight years of experience bridging formal verification, type systems, and compiler design. His work spans verification of hypervisor models, propositional semantics for generalized algebraic datatypes, and denotational semantics for advanced continuation patterns, reflecting a strong theoretical foundation with practical implementation experience (including a stint as a Haskell developer). Based in Copenhagen, he completed a PhD at Aarhus University and contributes to the Programming Languages and Systems group at ITU. Beyond publications, Sergei combines functional-programming fluency with a knack for turning semantic insights into verifiable models—a skill reflected in both his academic projects and industry work.
8 years of coding experience
1 year of employment as a software developer
Exchange student, Computer Science, Exchange student, Computer Science at University of TwenteDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Aarhus UniversityBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Southern Federal University (former Rostov State University)
Github Skills (30)
bluez10
mathematical9
bluetooth9
1c9
theorem-proving8
cabal8
azerothcore8
gtk8
proofs8
sat-solver8
hackage8
coq8
linux8
bitrix8
agda8
Programming languages (5)
Github contributions (5)
Kaptch/asmClockCounter
Sep 2018 - Dec 2018
Contributions:1 release, 59 commits, 13 pushes in 3 months
logsem/gitrees
Oct 2023 - Mar 2025
Contributions:1 review, 2 PRs, 39 pushes in 1 year 4 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.