Petr Semkin
Head Of Engineering at Cabinet of Wonders
Prague, Prague, Czechia
Summary
🤩
RockstarPetr Semkin is a Head of Engineering based in Prague with 11 years of experience building impactful software and leading teams through digital transformation for cultural institutions. He combines deep compiler and tooling expertise—demonstrated by significant contributions to high-profile Microsoft projects like dotnet/sdk, roslyn and dotnet/fsharp—with practical backend and test-automation work on Stryker.NET and mutation testing. At Microsoft and Skype he maintained language tooling, web editors and telemetry systems, while also delivering bespoke solutions for philanthropic partners. Petr is passionate about open source, open data and pragmatic engineering practices, and he brings a habit of improving build performance and testability across complex codebases. Outside work he’s an avid traveler and musician, which feeds a collaborative, cross-cultural leadership style.
11 years of coding experience
8 years of employment as a software developer
English, Spanish, German, Czech, Greek, Esperanto
Stackoverflow
2,012reputation
106kreached
59answers
31questions
Github Skills (30)
roslyn10
net-sdk10
msbuild10
compiler-development10
testing10
net10
dotnet10
netframework10
asp-net10
mutation-testing10
dotnet-sdk10
dotnet-core10
compiler10
netcore10
fsharp10
Programming languages (13)
Github contributions (5)
dotnet/fsharp
Jun 2022 - Jan 2023
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1859 reviews, 47 commits, 648 PRs in 7 months
Contributions summary:Petr primarily focused on enhancing the F# compiler, core library, and tooling integration for Visual Studio. Their contributions involved debugging and resolving issues, as evidenced by the commits focused on quick info provider tests, argument name display in tooltips, and adding new test cases for functionality. Further work included refactoring components of the compiler such as CheckIncrementalClasses from CheckDeclarations.
dotnetfunctional-programmingfsharplanguage-servicecore-library
stryker-mutator/stryker-net
Feb 2021 - Nov 2022
Mutation testing for .NET core and .NET framework!
Role in this project:Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:195 reviews, 20 commits, 36 PRs in 1 year 9 months
Contributions summary:Petr primarily contributed to improving the Stryker.NET mutation testing framework by addressing bugs and implementing new features. Their work included enhancing debug messages, preparing the project analyzer for multi-target support, and resolving issues related to threshold breaks and exit codes. The user also added an option to specify the target framework and resolved mutation testing for self-contained applications. Furthermore, they made a fix for a typo and allowed test projects to be specified as command-line arguments.
dotnetmutationmutation-testingtestingnet-framework
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.