Summary
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.
10 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 Московский Физико-Технический Институт (Государственный Университет) (МФТИ)