Robert Marsh

Senior Software Engineer at Code Metal

Reston, Virginia, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Robert Marsh is a Senior Software Engineer with 13 years of experience specializing in compiler and static analysis engineering for security-focused tooling. He spent formative years at Semmle and GitHub improving CodeQL queries and data-flow analyses to automatically find C/C++ vulnerabilities, and recently applied query language and compiler expertise to distributed simulation at Sedaro. Now based in Reston, VA and currently at Code Metal, he blends deep systems-level C/C++ knowledge with practical security engineering for back-end code-scanning platforms. His contributions to the widely used CodeQL ecosystem include nuanced handling of language features like inout parameters and nil coalescing, showing attention to subtle semantics that surface real-world bugs. Trained at Carnegie Mellon, he brings both research rigor and production delivery to complex static analysis and compiler problems.
code13 years of coding experience
job8 years of employment as a software developer
bookBachelor's of Science Computer Science, Bachelor's of Science Computer Science at Carnegie Mellon University
languagesEnglish
github-logo-circle

Github Skills (8)

swift10
csharp10
dataflow10
codeql10
dotnet-core10
security10
control-flow9
flow-control9

Programming languages (8)

C#TypeScriptJavaDockerfileRustCCodeQLJupyter Notebook

Github contributions (5)

github-logo-circle
github/codeql

Jul 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:
userBack-end Developer & Security Engineer
Contributions:382 reviews, 1020 commits, 412 PRs in 4 years 6 months
Contributions summary:Robert appears to be contributing to the CodeQL code scanning and security research ecosystem, based on the repository's description. Their contributions focus on enhancing the CodeQL libraries and queries for C# and Swift, specifically involving data flow analysis, particularly focused on identifying vulnerabilities. The user has worked on features related to inout parameters, nil coalescing, and the extraction of information from call and expression structures.
github-advanced-securitysecurity-toolsgithub-security-labsecurity-researcherssecurity
rdmarsh2/OpenBeam-Tantillus

Jul 2014 - Jan 2016

Contributions:10 commits, 1 push in 1 year 6 months
3d-printeropenscadprinterframe
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.
Request Free Trial
Robert Marsh - Senior Software Engineer at Code Metal