Evgenii Kotelnikov
Senior Software Developer at Snyk
Amsterdam, North Holland, Netherlands
Summary
👤
Senior🎓
Top SchoolEvgenii Kotelnikov is a Senior Software Developer and computer scientist with 14 years of experience and a PhD in formal methods, specializing in static analysis, automated theorem proving, and functional programming. He has built verification and static-analysis tooling across domains from cloud security to autonomous driving, currently helping power the static analysis engine at Snyk Code. His background spans industry and academia—including contributions to the Vampire theorem prover, research at AWS, and formal-methods work for Zenseact—bridging theorem-proving research with production-grade systems. Comfortable in C, Python, Scala and Haskell, he combines low-level systems thinking with high-assurance software design and a knack for turning proofs into practical tooling. Based in Amsterdam, he thrives on problems where correctness, performance, and real-world constraints intersect.
14 years of coding experience
10 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Saint Petersburg State UniversityDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Chalmers University of Technology
Swedish, Russian, English
Stackoverflow
1,409reputation
88kreached
12answers
2questions
Github Skills (67)
euler10
brackets10
quine10
mathematics10
scheme10
geb10
theorem10
sarif9
object-oriented-programming9
philosophy9
cli9
science9
shell9
perl9
bash9
Programming languages (9)
Github contributions (5)
aztek/aztek.github.io
Jul 2020 - Mar 2025
Contributions:49 pushes in 4 years 8 months
aztek/kyckling
Jun 2016 - Feb 2018
Contributions:1 PR, 30 pushes, 1 branch in 1 year 7 months
assertionstptpproblemstranslatorfragments
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.