Vitaly Aksenov
Staff Research Scientist at Logical Intelligence
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolVitaly Aksenov is a Staff Research Scientist with 11 years of experience building and verifying scalable parallel and concurrent systems, specializing in algorithms and data structures for multithreaded environments. He has combined academic depth (PhD-level research and publications on DBLP) with practical impact—finding and fixing bugs in production distributed databases, cutting RPC serialization memory by 80%, and doubling index performance on skewed workloads. Comfortable in C++, Java and Python, he has applied his expertise across HTAP/analytical databases, verification tools (TLA+, linearizability checkers), and distributed ML pipelines (Horovod, PyTorch). Based in London, he now focuses on the mathematical foundations behind Lean proof generation and neural networks while mentoring engineers to bridge theory and production. A less-obvious strength is his track record of developing tooling that both proves correctness and delivers sizable runtime and memory improvements in real systems.
11 years of coding experience
12 years of employment as a software developer
FML №239Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at ITMO UniversityDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Université Paris Diderot
English, Russian, French
Github Skills (6)
parallel7
multicore6
synchronization6
benchmark5
benchmarking5
scheduling5
Programming languages (2)
Github contributions (5)
Aksenov239/FC-heap
Apr 2017 - Jan 2018
Contributions:143 pushes, 1 branch in 8 months
Aksenov239/personal-website
Aug 2019 - Aug 2024
Contributions:19 pushes, 1 branch in 5 years
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.