Yermek Kapushev

Software Engineer at Yandex

Moscow, Moscow, Russia
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Yermek 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.
code10 years of coding experience
job10 years of employment as a software developer
bookDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Skolkovo Institute of Science and Technology
bookМагистр, Applied Mathematics, Магистр, Applied Mathematics at Московский Физико-Технический Институт (Государственный Университет) (МФТИ)
github-logo-circle

Github Skills (27)

gaussian9
bayesian8
stochastic-processes8
gaussian-processes8
pytorch7
cubic7
optimization6
modular6
decomposition6
self-organizing-map5
sampling5
machine-learning5
python5
deep-learning4
sparse4

Programming languages (5)

CSSC++SCSSJupyter NotebookPython

Github contributions (5)

github-logo-circle
yeahrmek/pylean

May 2022 - Mar 2023

Contributions:25 commits, 21 pushes, 2 branches in 9 months
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.
Request Free Trial
Yermek Kapushev - Software Engineer at Yandex