Vitek Karas
Software Development Engineer at Microsoft
Czechia
Summary
🤩
Rockstar🎓
Top SchoolVitek Karas is a seasoned Software Development Engineer with nine years of focused experience and a long tenure at Microsoft working on XML, OData, WCF Data Services, and related data platforms. He brings deep runtime and tooling expertise demonstrated by meaningful contributions to high-profile .NET projects (CoreRT, IL Linker, Mono.Cecil, and .NET samples), where he improved P/Invoke marshalling, default-parameter handling, IL linking, and deterministic metadata/debug behavior. Comfortable in both backend systems and build/test automation, he has a track record of fixing subtle runtime bugs and improving codegen and reflection semantics. Prior consulting roles at Oracle and secunet underline his experience delivering production systems and data warehouse solutions for enterprise customers. Based in Czechia with a Master’s in Computer Science from Charles University, he blends low-level runtime insight with pragmatic engineering for robust developer tooling. An understated strength is his ability to navigate both native C++ interop and managed C# internals, making him valuable for cross-boundary platform work.
9 years of coding experience
6 years of employment as a software developer
Masters, Computer Science, Masters, Computer Science at Charles University in Prague
Github Skills (35)
debugging10
reflection10
debug10
c-language10
runtimes10
dataflow10
marshalling10
net10
dotnet-new10
dotnet10
run-time10
cil10
standard-library10
asp-net10
runtime-compilation10
Programming languages (8)
Github contributions (5)
dotnet/linker
Nov 2019 - Jan 2023
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:1091 reviews, 276 commits, 511 PRs in 3 years 2 months
Contributions summary:Vitek primarily focused on enhancing the robustness of the IL linker, particularly in the area of reflection and compiler-generated code. Their contributions involved implementing intrinsics for various reflection APIs, which included ensuring data flow analysis correctness across method calls. They also addressed issues with handling compiler-generated code and exception handlers during branch removal and worked on the core logic of constant propagation and branch removal, including several test case adjustments for edge cases in the code.
dotnet/samples
Jan 2019 - Sep 2023
Sample code referenced by the .NET documentation
Role in this project:Back-end Developer & Automation Engineer
Back-end Developer & Automation EngineerContributions:4 reviews, 12 PRs, 2 pushes in 4 years 8 months
Contributions summary:Vitek primarily contributed to the .NET samples repository by implementing and refining P/Invoke (Platform Invoke) functionalities, specifically related to marshalling data between managed and unmanaged code. This included creating and modifying C++ code for native libraries and corresponding C# code to call them. The user also updated the build and project files, integrating build automation by setting up the necessary build configurations.
dotnetfsharpvisual-basiccsharpdotnet-core
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.