Mikhail Krinkin

Senior Software Engineer at Microsoft

Dublin, Ireland
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

👤
Senior
🎓
Top School
Mikhail Krinkin is a Senior Software Engineer with 14 years of experience focused on low-level systems, virtualization, and file systems, now contributing to Azure Container Compute at Microsoft. Previously a Sr SWE SRE at Google, he combines production-grade reliability engineering with kernel- and systems-level expertise, and occasionally contributes to the Linux kernel. An avid open-source contributor, he has improved concurrent C++ data structures in libcds and fixed critical WASM/Envoy edge-case bugs affecting connection handling and memory safety. He completed the Eudyptula Challenge and routinely tackles algorithmic puzzles—recently earning all gold stars in Advent of Code 2023 with Rust, debugging a subtle Chinese remainder theorem off-by-one. Based in Dublin, he pairs deep academic training from St. Petersburg institutions with practical, test-focused engineering on widely used cloud and proxy projects. Outside work he roller skates and cooks, bringing the same iterative curiosity to hobbies as to complex system bugs.
code14 years of coding experience
bookPost-graduate school Computer Science, Post-graduate school Computer Science at St. Petersburg Academic University of the Russian Academy of Sciences
bookSaint Petersburg State Electrotechnical University "LETI"​
bookMaster's degree Software Engineering, Master's degree Software Engineering at St. Petersburg Academic University of Russian Academy of Sciences
languagesРусский, English
github-logo-circle

Github Skills (23)

container10
c-language10
concurrent10
envoyproxy10
rust-wasm10
wasm-pack10
data-structure10
data-structures10
lock-free10
cprogramming-language10
concurrent-map10
concurrency10
testing9
algorithm9
algorithms9

Programming languages (9)

C++ShellRustCLLVMGoHTMLRuby

Github contributions (5)

github-logo-circle
envoyproxy/envoy

Sep 2024 - Mar 2025

Cloud-native high-performance edge/middle/service proxy
Role in this project:
userBackend Developer
Contributions:22 reviews, 32 PRs, 114 comments in 6 months
Contributions summary:Mikhail focused on fixing bugs related to the WASM plugin interaction with Envoy's local reply mechanism, addressing issues such as duplicate responses and panic handling during request/response processing. They made changes to prevent stuck connections and ensure correct behavior in error scenarios. Additionally, the user addressed build issues, specifically contributing to fixes related to GCC compiler warnings and the VCL build process. They also addressed MSAN warnings to address memory safety issues.
nanoservicesmore-catsgolangcontainersproxy
khizmax/libcds

Mar 2015 - Apr 2015

A C++ library of Concurrent Data Structures
Role in this project:
userBack-end Developer
Contributions:30 commits, 8 PRs, 1 issue in 1 month
Contributions summary:Mikhail primarily focused on enhancing the `libcds` library, a C++ library for concurrent data structures. Their contributions include fixing build script warnings, removing unnecessary locks, and adding new features such as equal_to and sort options to intrusive and nonintrusive lazy list traits. They implemented the unordered intrusive lazy list and added related tests, effectively extending the library's capabilities. Furthermore, they integrated tests for unordered nonintrusive and key-value lists, showcasing their commitment to comprehensive testing.
containersconcurrentcppconcurrent-data-structuresc-library
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