Danil Annenkov
IT Senior Developer at Arla Foods
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.
13 years of coding experience
9 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 (74)
metaprogramming10
smart-contracts10
coq10
verification10
blockchain10
homotopy-type-theory9
testing9
contract9
haskell9
cryptography9
rust8
type-theory8
namespaces8
arity8
proof-assistant8
Programming languages (13)
Github contributions (5)
annenkov/contracts
Nov 2014 - Jan 2020
Contributions:81 commits, 5 PRs, 54 pushes in 5 years 3 months
financialcontractedslfinancesymbolic
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.