Yermek Kapushev
Software Engineer at Yandex
Moscow, Moscow, Russia
Summary
🤩
Rockstar🎓
Top SchoolYermek Kapushev is a software engineer with a decade of experience bridging cutting-edge AI research and production engineering, currently working at Yandex in Moscow. He holds a PhD in Computer Science from Skolkovo and has deep expertise in Gaussian Processes, Bayesian optimization, and scalable kernel methods developed across academic and industry roles. Yermek spent several years as an AI researcher building automated theorem proving systems—combining GNN-based AST embeddings, GPT-style proof generation, and dense retrieval—to push ML-driven formal reasoning. His background includes applied ML projects for automotive diagnostics, aerospace, and medical devices, evidencing a talent for turning complex probabilistic models into practical solutions. He blends rigorous research instincts with hands-on implementation, and often focuses on large-scale, data-efficient modeling rather than purely empirical deep learning approaches.
11 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Skolkovo Institute of Science and TechnologyМагистр, Applied Mathematics, Магистр, Applied Mathematics at Московский Физико-Технический Институт (Государственный Университет) (МФТИ)
Github Skills (21)
bayesian9
triangular8
gaussian-processes8
square6
cubic6
python6
pytorch6
variational-inference6
gpu-acceleration5
deep-learning5
sampling5
machine-learning5
sparse4
tensorflow4
self-organizing-map4
Programming languages (5)
Github contributions (5)
yeahrmek/pylean
May 2022 - Mar 2023
Python wrapper for lean-gym
Contributions:25 commits, 21 pushes, 2 branches in 9 months
python
yeahrmek/rnn_vd
Mar 2020 - Nov 2020
Contributions:18 commits, 16 pushes, 1 branch in 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.