Danil Annenkov
Technical Lead at Partisia
Aarhus, Central Denmark Region
Summary
👤
Senior🎓
Top SchoolDanil Annenkov is a Technical Lead based in Aarhus with over a decade of hands-on experience building research-driven software and production systems across academia and industry. He holds a PhD in Computer Science from the University of Copenhagen and transitioned from postdoctoral research roles at Aarhus University and Inria into senior engineering and leadership positions in blockchain and privacy-focused companies. At Partisia and previously Concordium he has blended deep R&D expertise with practical product delivery, guiding teams on cryptography-adjacent and distributed systems projects. His background includes founding a software firm and teaching roles, giving him a strong mix of entrepreneurial initiative and mentorship skills. Colleagues know him for translating complex theoretical ideas into maintainable code and for thriving at the intersection of research, engineering, and product. Based in Central Denmark, he brings a research-first mindset to pragmatic, secure system design.
12 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Københavns Universitet - University of CopenhagenIrkutsk National Research Technical University
Английский, Danish, Russian
Github Skills (105)
contract10
metaprogramming10
smart-contracts10
coq10
idris10
verification10
blockchain-platform10
blockchain10
solidity9
rust9
homotopy-type-theory9
testing9
agda9
haskell9
cryptography9
Programming languages (9)
Github contributions (5)
annenkov/two-level
Oct 2016 - Dec 2019
Contributions:108 commits, 17 pushes, 2 branches in 3 years 2 months
annenkov/annenkov.github.io
Jul 2017 - Jan 2024
Contributions:1 PR, 63 pushes, 1 branch in 6 years 7 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.