Jonas Jensen
UTC+1, United States
Summary
🤩
RockstarJonas Jensen is a Staff Software Engineer with 13 years of experience combining deep academic rigor (PhD, IT University of Copenhagen) with hands-on systems engineering and management. He has led and built high-performance database engines and query languages for GitHub CodeQL, and now focuses on automated detection and remediation of security bugs in source code. His background spans scalable web services, large-scale event processing in OCaml, static analysis of C/C++ using Datalog-like query languages, and low-level verification research—an unusual blend that informs both tooling and product decisions. An active contributor to the widely used CodeQL project, he has improved diff-informed security queries and fixed real-world Java and C++ vulnerabilities. Colocated in Copenhagen, he returned from management to coding to stay at the forefront of developer tooling and AI-driven automation.
14 years of coding experience
Github Skills (9)
it-security10
javas10
java10
semmle-ql10
codeql10
security10
cprogramming-language9
c-language9
github-advanced-security7
Programming languages (14)
Github contributions (5)
github/codeql
Aug 2018 - 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:
Security Engineer
Security EngineerContributions:542 reviews, 1407 commits, 903 PRs in 4 years 5 months
Contributions summary:Jonas primarily contributed to enhancing the CodeQL project by implementing and refining security analysis queries. Their work included modifying existing queries to be "diff-informed", enabling more efficient analysis of code changes. They also addressed specific security vulnerabilities in Java and C++ code, and updated language specifications related to the CodeQL query language. These efforts demonstrate a focus on improving the accuracy and performance of security analysis tools.
codeqlgithub-advanced-securitysecuritysemmle-qlgithub-security-lab
jbj/magicrescue
Oct 2018 - Sep 2021
Not under active development. Magic Rescue was a tool for recovering files from a corrupted file system.
Contributions:45 commits, 1 PR, 11 pushes in 2 years 11 months
filesystem
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.