Pedro Lobo
Software Engineer at FuriosaAI
Cascais, Portugal
Summary
🤩
Rockstar🎓
Top SchoolPedro Lobo is a software engineer with six years of experience, currently contributing to FuriosaAI and completing a MSc in Computer Science at Instituto Superior Técnico. He brings deep systems and compiler expertise evidenced by his LLVM Foundation GSoC work that introduced a new LLVM IR type, encoded its semantics in Alive2, fixed type-punning miscompilations, and achieved near-upstream performance while earning a slot to present at the LLVM Developer's Meeting. Pedro has hands-on teaching experience in compilers and programming foundations, grading and mentoring students and running practical labs. His background combines academic rigor with impactful open-source contributions and a knack for low-level correctness and optimization. Based in Cascais, Portugal, he blends research-oriented thinking with production-minded engineering, able to take subtle formal changes from specification through benchmarking to upstream-quality implementation.
6 years of coding experience
Fundação SalesianosMaster's degree, Computer Science and Engineering, Master's degree, Computer Science and Engineering at Instituto Superior Técnico
Github Skills (25)
markdown10
modular10
llvm10
toolchain10
compiler10
gatsby10
clang10
ucs10
llvm-ir9
rust9
smt8
model-checking8
verification8
standard-library8
rust-lang8
Programming languages (5)
Github contributions (5)
pedroclobo/llvm-project
Jun 2024 - Apr 2025
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Contributions:376 pushes, 171 branches, 1 comment in 10 months
pedroclobo/dotfiles
Feb 2021 - Mar 2025
Contributions:368 pushes, 6 branches in 4 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.