Henning Makholm
Senior Software Engineer at GitHub
Copenhagen, Capital Region of Denmark
Summary
🤩
Rockstar🎓
Top SchoolHenning Makholm is a Senior Software Engineer based in Copenhagen with over 7 years of industry experience and a PhD in Computer Science. He brings deep expertise in performance-oriented systems and compiler-like toolchains, having designed an optimizing Java-to-C transpiler and contributed to core query-engine performance at Semmle before continuing that work at GitHub. At GitHub he’s focused on backend and DevOps improvements for the widely used CodeQL analysis workflows, improving build, runner, and CI configurations for code scanning at scale. Earlier roles include integrating transport technologies into Akamai’s ingest products and designing distributed streaming and storage architectures at Octoshape, demonstrating strong systems, networking, and build-infrastructure chops. Colleagues would note he blends rigorous academic foundations with practical production engineering and a knack for performance optimization that often surfaces in infrastructure and tooling.
7 years of coding experience
15 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at Københavns Universitet
Danish, English, German, Swedish
Github Skills (16)
automation10
github-ci10
automations10
githubaction-workflow10
cicd10
semmle-ql10
codeql10
act9
cirrus-ci9
circleci9
javascript8
typescript-types7
typescript7
typescripts7
docker4
Programming languages (6)
Github contributions (5)
github/codeql-action
Mar 2021 - Apr 2022
Actions for running CodeQL analysis
Role in this project:
Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions:1 release, 29 reviews, 59 commits in 1 year 1 month
Contributions summary:Henning made several commits related to improving the build and analysis processes within the repository. The user focused on configuring and updating the environment, specifically related to setting up the CodeQL environment and managing configurations for code scanning. Code changes included modifications to the runner, fingerprints and the codeql components. Additional work included updating the CI/CD configuration with branch and push conditions.
code-scanningsemmle-qladvanced-securitycodeqlci
github/codeql-cli-binaries
Nov 2019 - Apr 2022
Binaries for the CodeQL CLI
Contributions:27 releases, 5 reviews, 39 commits in 2 years 5 months
sarifbinariesrefactoringprogram-analysisstatic-analysis
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.