Michael Nebel
Senior Software Engineer at GitHub
Copenhagen, Capital Region of Denmark
Summary
🤩
Rockstar🎓
Top SchoolMichael Nebel is a Senior Software Engineer based in Copenhagen with over a decade of engineering experience and four years focused on code analysis at GitHub using CodeQL. He brings strong backend expertise in C# and OCaml from a long tenure as a lead developer at SimCorp, where he helped evolve large application frameworks and guided feature grooming in agile teams. At GitHub he contributed to the widely used CodeQL project, implementing language-level features such as the unsigned right shift in the C# library and integrating it into data-flow analysis—a detail that highlights both language-level insight and security-oriented tooling experience. Comfortable across maintenance and greenfield work, he pairs hands-on implementation with a practical understanding of test coverage and intermediate representations.
4 years of coding experience
7 years of employment as a software developer
Københavns Universitet - University of Copenhagen
Github Skills (10)
csharp10
codeql10
dotnet-core10
netframework10
compiler-design6
data-structures5
data-structure5
datastructures-algorithms5
algorithms5
algorithm5
Programming languages (5)
Github contributions (5)
github/codeql
Nov 2021 - Jan 2023
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1558 reviews, 1176 commits, 855 PRs in 1 year 2 months
Contributions summary:Michael made significant contributions to the CodeQL codebase, primarily focused on the implementation of the unsigned right shift operator in the C# language. Their work involved adding test cases, implementing the operator's functionality within the C# library and extractor, and ensuring proper handling within the experimental intermediate representation. They also contributed to the integration of the shift operator into the data flow analysis framework.
github-advanced-securitysecurity-toolsgithub-security-labsecurity-researcherssecurity
michaelnebel/codeql
Nov 2021 - Apr 2025
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
Contributions:2 reviews, 1 PR, 1893 pushes in 3 years 5 months
enterprisegithub-advanced-securitysecurity-toolslgtmsecurity-researchers
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.