Aleksey Kliger
Principal Software Engineer at Microsoft
Somerville, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolAleksey Kliger is a Principal Software Engineer with over 21 years of experience specializing in programming languages, type systems, compilers, and runtime engineering. He champions expressive, typesafe languages and has a strong track record building and modernizing .NET and Mono runtimes—including significant contributions to high-profile open-source projects like mono/mono and dotnet/runtime that advanced WebAssembly multi-threading and hot reload. At Microsoft he has blended hands-on systems work with technical leadership, mentoring, hiring, and cross-team tooling initiatives for desktop, mobile, web, and game-console platforms. His background spans formal metatheory and practical systems: from mechanized proofs and probabilistic language design at DARPA projects to production runtime security and assembly-loading fixes. Based in Somerville, MA, he pairs deep academic training in programming languages with a pragmatic focus on developer ergonomics and reliable runtime behavior. An intriguing constant in his career is porting theoretical ideas—linear logic, type safety, mechanized metatheory—into real-world compiler and runtime features.
21 years of coding experience
15 years of employment as a software developer
High School, High School at StuyBS Computer Science, BS Computer Science at Cornell UniversityGraduate Program additional research Computer Science, Graduate Program additional research Computer Science at Carnegie Mellon University
English, Russian, Italian
Stackoverflow
12,465reputation
423kreached
49answers
6questions
haskell
top-5%
logic
top-5%
Github Skills (38)
arcgisruntime10
assembly10
ios10
runtimes10
net10
xamarin10
run-time10
dotnet10
asp-net10
runtime-compilation10
tvos10
dotnet-core10
macos10
assemblies10
assemblyinfo10
Programming languages (20)
Github contributions (5)
mono/mono
Oct 2015 - Jan 2023
Mono open source ECMA CLI, C# and .NET implementation.
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:184 reviews, 1471 commits, 1454 PRs in 7 years 5 months
Contributions summary:Aleksey contributed to the Mono runtime's core libraries and low-level components. The commits involved fixing bugs related to assembly loading, especially regarding handling incorrect or missing code. The user's contributions also added security-related enhancements, such as verifying custom attributes and ensuring that assemblies with reference assembly attributes are not loaded for execution.
dotnetjitruntimemonoandroid
dotnet/runtime
Oct 2015 - Jan 2023
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
Role in this project:Back-end Developer
Back-end DeveloperContributions:2543 reviews, 1275 commits, 819 PRs in 7 years 5 months
Contributions summary:Aleksey's contributions primarily focused on enhancing the .NET runtime's support for WebAssembly (Wasm) and Hot Reload. They implemented core features like enabling the build for multi-threaded Wasm applications, developed a diagnostic server, and added support for various EnC (Edit and Continue) capabilities, including custom attribute updates. The user also refactored several aspects of the codebase and added regression tests to ensure the stability and functionality of the changes.
dotnetruntimelinuxcsharpxamarin
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.