Pedro Bernardo
Security Engineer at Technische Universität Wien
Vienna, Austria
Summary
👤
Senior🎓
Top SchoolPedro Bernardo is a PhD student and University Assistant at TU Wien working at the intersection of Web Security and Formal Methods, with nine years of experience bridging academic research and hands-on security practice. He holds an MSc from IST, ULisboa and has research and developer experience from Instituto Superior Técnico and Technische Universität Graz. A seasoned CTF competitor with teams STT and We_0wn_y0u, he brings practical expertise in binary exploitation, web vulnerabilities and reverse engineering—“off-by-ones” are a running joke turned specialty. Pedro has contributed to web security projects and applied formal techniques to real-world attack surfaces, combining rigorous proof-oriented thinking with offensive security intuition. Based in Vienna, he pairs deep technical knowledge with a knack for translating formal results into pragmatic defenses and tooling.
9 years of coding experience
Computer Engineering, Computer Engineering at Technische Universität GrazMaster's degree, Computer Science and Engineering, Master's degree, Computer Science and Engineering at Instituto Superior Técnico
Github Skills (39)
debugging10
snippet10
web-platform10
javascript10
browserstack10
opera10
testing10
safari10
test-runner10
browser10
webkit10
gecko10
microsoft-edge10
code-injection10
google-chrome10
Programming languages (5)
Github contributions (5)
Pedro-Bernardo/wpt
May 2022 - Feb 2025
Test suites for Web platform specs — including WHATWG, W3C, and others
Contributions:2 releases, 42 pushes, 5 branches in 2 years 8 months
web-platformtestingsuitesspecsspec
julianhartmann1/UK-Lands
Dec 2020 - Mar 2021
Contributions:13 PRs, 57 pushes, 1 branch in 3 months
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.