Aleksei Volkov
Senior Developer at Kaspersky
Moscow, Moscow, Russia
Summary
👤
Senior🎓
Top SchoolAleksei Volkov is a compiler developer and systems programmer with eight years of experience blending research-grade formal methods and practical tooling to improve software reliability. He has a strong background in dependent-type specifications for programming languages, a skill he used at ISPRAS to auto-generate test programs that uncovered real compiler bugs. Aleksei builds production systems too, contributing to the Tarantool ecosystem and developing protocol and CLI tooling at VK before moving to Kaspersky. He teaches and mentors on computer architecture and operating systems, and is finishing an MS in system programming at MIPT. Comfortable moving between research and engineering, he focuses on using rich type systems to raise the bar on correctness in real-world compilers and VMs.
8 years of coding experience
5 years of employment as a software developer
Master of Science - MS System programming, Master of Science - MS System programming at Moscow Institute of Physics and Technology (State University) (MIPT)
Github Skills (37)
dependent-types10
command-line-utility10
tarantool10
functional-programming-language10
model-checking9
luarocks9
verification9
phonetics9
cli9
compiler9
rust8
go8
php8
lua8
languagetool8
Programming languages (9)
Github contributions (5)
AlgebraicWolf/Idris2
Oct 2022 - Oct 2025
A purely functional programming language with first class types
Contributions:183 pushes, 40 branches in 3 years
symbolic-computationfunctional-programmingcompilerrelational-algebrafunctional-programming-language
AlgebraicWolf/caos-seminars
Sep 2022 - Dec 2022
Contributions:34 commits, 19 pushes, 1 branch in 3 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.