Aleksei Volkov
Compiler 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
3 years of employment as a software developer
Master of Science - MS, System programming, Master of Science - MS, System programming at Московский Физико-Технический Институт (Государственный Университет) (МФТИ)Bachelor's degree, Engineering and Computer Science, Bachelor's degree, Engineering and Computer Science at Moscow Institute of Physics and Technology (State University) (MIPT)
Github Skills (51)
stack-based10
dependent-types10
verification10
facilities10
command-line-utility10
tarantool10
functional-programming-language10
model-checking9
programming-language9
luarocks9
functional-programming9
lua9
cli9
rust9
compiler9
Programming languages (9)
Github contributions (5)
AlgebraicWolf/Idris2
Oct 2022 - Mar 2025
A purely functional programming language with first class types
Contributions:154 pushes, 32 branches in 2 years 5 months
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.