Michal Strehovský
Principal Software Engineer at Microsoft
Kanagawa Prefecture, Japan
Summary
🤩
Rockstar🎓
Top SchoolMichal Strehovský is a Principal Software Engineer at Microsoft with 12+ years of experience focused on runtimes, compilers and native AOT tooling for .NET. He drives low-level work on the .NET Native compiler—metadata/file formats, reflection, type loader and IL transforms—while also shipping CLR metadata fixes and hotfixes. Comfortable across C#, C++ and assembly, he bridges high-level design and systems programming, contributing to notable OSS repos like dotnet/winforms, CoreRT and the .NET SDK to enable native AOT and runtime optimizations. His open-source contributions show a recurring emphasis on performance, metadata handling and dataflow analysis, plus practical demos like zerosharp that explore C# for systems programming. Based in Kanagawa, Japan, he pairs production experience with reverse-engineering instincts and a knack for build automation and cross-platform interoperability. Colleagues rely on him to tackle the messy intersections of tooling, VM internals and real-world app compatibility.
12 years of coding experience
6 years of employment as a software developer
master, Computer Science, master, Computer Science at Masaryk UniversityUppsala universitet
English, Slovak, Czech, German
Stackoverflow
703reputation
8kreached
8answers
0questions
Github Skills (60)
application-framework10
code-optimization10
reflection10
benchmark10
performance-monitor10
runtimes10
interoperability10
net-sdk10
dataflow10
system-programming10
testing10
net10
app-framework10
dotnet10
dotnet-new10
Programming languages (17)
Github contributions (5)
bflattened/bflat
Jun 2021 - Jan 2023
C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:1 release, 3 reviews, 45 commits in 1 year 6 months
Contributions summary:Michal contributed to the project by adding new samples, including dynamic library and Sokol graphics examples, that demonstrate core functionalities such as unmanaged code interop, and cross-platform graphics rendering. They also integrated the Sokol library, showcasing the project's support for modern graphics APIs across different platforms. Furthermore, the user implemented the foundational components for a basic console application with file manipulation, including build and test infrastructure.
golangexecutablesnative-executablescsharptooling
dotnet/corert
Sep 2015 - Jul 2020
This repo contains CoreRT, an experimental .NET Core runtime optimized for AOT (ahead of time compilation) scenarios, with the accompanying compiler toolchain.
Role in this project:Back-end Developer
Back-end DeveloperContributions:15 reviews, 2090 commits, 2705 PRs in 4 years 10 months
Contributions summary:Michal primarily worked on the `dotnet/corert` repository, which is a .NET Core runtime optimized for Ahead-of-Time (AOT) compilation. The commits focus on low-level runtime aspects, as seen in the modifications to the codebase, including changes to the memory management, virtual method calls, and type system. The user's contributions involved fixing build breaks, adding support for features like HW intrinsics and reflection, and making optimizations to existing code.
dotnetcompilationahead-of-timeruntimetoolchain
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.