Sergei Stepanenko
Postdoctoral Researcher at Aarhus University
Aarhus, Central Denmark Region
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.
9 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 (25)
bluez10
bluetooth9
gtk9
1c9
azerothcore8
coq8
linux8
nette8
bitrix8
pii8
proof-assistant7
dependent-types7
discord-bot7
theorem-proving7
hackage6
Programming languages (8)
Github contributions (5)
Kaptch/asmClockCounter
Sep 2018 - Dec 2018
Contributions:1 release, 59 commits, 13 pushes in 3 months
logsem/gitrees
Oct 2023 - Jul 2026
guarded interaction trees
Contributions:1 review, 2 PRs, 47 pushes in 2 years 8 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.