Ana Romero
Staff Software Engineer at Tacto
Germany
Summary
🤩
Rockstar🎓
Top SchoolAna Romero is a Staff Software Engineer based in Germany with a strong research-to-product trajectory, holding a DPhil in Computer Science from Oxford and six years of industry experience focused on code analysis and developer tooling. She spent multiple roles at GitHub working on Code Scanning and grew into senior engineering and management positions, blending hands-on implementation with team leadership. Prior to industry, she contributed to academic research at Oxford and transitioned into engineering and people management at Semmle, where she led teams building developer-focused products. Now at Tacto, she continues to apply deep technical expertise in static analysis and scalable code-quality systems while retaining a researcher’s attention to formal correctness and rigorous problem solving.
6 years of coding experience
10 years of employment as a software developer
DPhil, Computer Science, DPhil, Computer Science at University of OxfordMSc Computing (Theory), Computer Science, Distinction, MSc Computing (Theory), Computer Science, Distinction at Imperial College LondonLicenciatura en Matemáticas, Computational Mathematics, 86.7%, Licenciatura en Matemáticas, Computational Mathematics, 86.7% at Universidad Complutense de Madrid
English, Spanish, French, Russian, German
Github Skills (25)
continuous-testing10
continuous-integration10
semmle-ql10
codeql10
scanning7
security5
shieldsio5
complexity4
trigger3
backport3
semgrep3
runner3
development-tools2
static-analysis2
staging2
Programming languages (6)
Github contributions (5)
anaarmas/dotfiles
Jun 2021 - Mar 2025
Contributions:16 pushes in 3 years 9 months
mattmoor/starter-workflows
Nov 2021 - Nov 2021
Accelerating new GitHub Actions workflows
Contributions:5 commits in 1 day
continuous-testingdevelopment-toolsbackporttriggerci-cd
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.