Marcelo Sousa
Vice President at Snyk
Porto Metropolitan Area Portugal
Summary
🤩
Rockstar🎓
Top SchoolMarcelo Sousa is a vice president and engineering leader with 14 years building deep tech for software development and security, currently shaping Developer Experience at Snyk. A Google PhD Fellow with a DPhil from Oxford in automated software verification, he has translated rigorous research into production-grade static analysis and security tooling across SonarSource, DiffBlue and Google. He co-founded Reviewpad, a policy-as-code code review startup acquired by Snyk in 2023, and has since progressed through director roles to VP accelerating developer-first security products. His background spans formal methods, taint analysis and IR design (notably contributions to SonarSource’s slang and injection detection), showing a rare blend of academic depth and product execution. Based in Porto, he combines hands-on static analysis expertise with startup grit and cloud-scale engineering experience. An understated detail: he’s as comfortable co-supervising research interns and publishing ideas as he is scaling SaaS teams and shipping developer tooling.
14 years of coding experience
11 years of employment as a software developer
D.Phil, Computer Science, D.Phil, Computer Science at University of OxfordBSc, Computer Science, Physics, Mathematics, Economics, BSc, Computer Science, Physics, Mathematics, Economics at Universidade do MinhoMSc, Artificial Intelligence, MSc, Artificial Intelligence at University of AmsterdamMSc Computer Engineering, Program Verification, MSc Computer Engineering, Program Verification at Boğaziçi UniversityMSc Computing Science, Software Technology, MSc Computing Science, Software Technology at Utrecht University
English, Portuguese
Github Skills (200)
github10
go-github10
security10
automation-framework10
compressor10
zksync10
opensea10
uglifyjs10
owasp10
github-api10
golang10
git-workflow10
go10
pentesting10
ctf10
Programming languages (16)
Github contributions (5)
marcelosousa/angel
Dec 2018 - Oct 2022
Contributions:8 pushes, 1 branch, 7 issues in 3 years 10 months
marcelosousa/million-dollar-ideas
Aug 2019 - Aug 2022
Contributions:9 commits, 8 pushes, 1 branch in 3 years 1 month
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.