Georgy Lukyanov
Senior Software Engineer at Input Output (IOHK)
Bonn, North Rhine-Westphalia, Germany
Summary
🤩
Rockstar🎓
Top SchoolGeorgy Lukyanov is a Senior Software Engineer based in Bonn, Germany with 11 years of experience bridging formal methods and functional programming in industry. He has progressed from Formal Verification Engineer to Haskell Developer and now Senior Software Engineer at IOHK, applying rigorous verification techniques to high-assurance systems. Georgy holds a PhD in Computer Engineering from Newcastle University, reflecting a strong research background that informs his practical engineering work. His career at Runtime Verification highlights deep expertise in formal verification tools and Haskell, bringing mathematical precision to production code. Colleagues value his ability to translate complex proofs and specifications into reliable, maintainable software components.
11 years of coding experience
3 years of employment as a software developer
PhD Computer Engineering, PhD Computer Engineering at Newcastle UniversitySouthern Federal University (former Rostov State University)
Stackoverflow
53reputation
322reached
0answers
1question
Github Skills (105)
agda10
servant10
symbolic-execution-engine10
semantics10
hackage10
declare10
symbolic-execution10
plutus10
tlaplus10
dataflow-programming10
eda10
blockchain10
solidity9
model-based-testing9
emacs9
Programming languages (15)
Github contributions (5)
runtimeverification/kavm-demo
Nov 2022 - Jan 2023
Contributions:45 commits, 1 PR, 5 pushes in 2 months
geo2a/bachelor
Mar 2015 - Dec 2016
Contributions:72 commits, 1 PR, 65 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.