Rasmus Larsen
Senior Software Engineer at GitHub
Copenhagen, Capital Region of Denmark
Summary
🤩
Rockstar🎓
Top SchoolRasmus Larsen is a Senior Software Engineer based in Copenhagen with 13 years of experience building high-assurance backend systems and static analysis tooling. He has been central to Python security analysis at GitHub/CodeQL, improving framework-aware data-flow models for Django and hardening analysis infrastructure used widely for code scanning. His contributions to the data-parallel functional language Futhark show deep compiler and code-generation expertise, including implementing novel parallel operations and fixing subtle optimization bugs. Rasmus brings a pragmatic mix of systems, languages, and DevOps skills—having improved Python build and CI workflows for CodeQL Actions and worked at scale on services serving 100M+ monthly users. He combines academic rigor (compiler and HPC research background) with hands-on engineering, often addressing corner-case correctness that most teams miss.
13 years of coding experience
7 years of employment as a software developer
Bachelor's Degree, Computer Science, Bachelor's Degree, Computer Science at University of SouthamptonVestfyens GymnasiumBachelor’s Degree, Computer Science, Bachelor’s Degree, Computer Science at University of Copenhagen
English, Danish
Stackoverflow
1,573reputation
117kreached
47answers
15questions
Github Skills (28)
code-optimization10
github-ci10
dataflow10
python10
pipenv10
django10
poet10
codeql10
parallel-computing10
compiler-construction10
virtualenv10
functional-programming10
githubaction-workflow10
poe10
cil9
Programming languages (20)
Github contributions (5)
github/codeql
Sep 2019 - 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:1448 reviews, 2232 commits, 764 PRs in 3 years 4 months
Contributions summary:Rasmus's commits primarily focus on enhancing the CodeQL library, specifically in the area of Python, with the primary task being related to the automatic modeling for different frameworks. The user implemented and refined data-flow models for Django, including enhancements for handling of the model and URL redirections. The changes included various additions to support the use of `*args` and `**kwargs` within the type-tracking library.
github-advanced-securitysecurity-toolsgithub-security-labsecurity-researcherssecurity
github/codeql-action
Sep 2020 - Jan 2023
Actions for running CodeQL analysis
Role in this project:DevOps Engineer & Python Developer
DevOps Engineer & Python DeveloperContributions:42 reviews, 48 commits, 29 PRs in 2 years 4 months
Contributions summary:Rasmus primarily contributed to the python-setup scripts, focusing on improving the installation process and dependencies management. The contributions include updating scripts to handle package installations with Poetry and Pipenv, addressing issues with virtual environment creation, and fixing problems related to Python2 support and Poetry. They also updated the codebase to use the proper GitHub Actions environment variables. The user implemented changes to ensure the project's build and testing processes.
code-scanningsemmle-qladvanced-securitycodeqlci
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.