Nuno Lopes
Country Manager at Instituto Superior Técnico
Lisbon, Portugal
Summary
🤩
Rockstar🎓
Top SchoolNuno Lopes is a compiler-focused software engineer and academic with 22 years of experience, currently serving as Country Manager at FuriosaAI and an Associate Professor at Instituto Superior Técnico in Lisbon. His work bridges deep compiler and toolchain expertise—contributions to high-profile projects like LLVM and the Lean theorem prover show hands-on experience fixing platform-specific build issues, refining undefined-behavior semantics, and improving cross-compiler compatibility. At Microsoft Research he led efforts in compiler verification, network verification, and compilers for AI/ML accelerators, blending rigorous research with practical engineering. He also contributes to widely used community projects such as php.net, improving real-world developer and user experiences. Known as a "compiler geek," he brings a rare mix of systems-level craftsmanship, academic rigor, and product-minded leadership across research and industry.
22 years of coding experience
7 years of employment as a software developer
primary school, primary school at Salesianos de Lisboahigh school, high school at Escola Secundária Pedro NunesPhD, Computer Engineering, PhD, Computer Engineering at Instituto Superior Técnico
Github Skills (33)
debug10
c-language10
website-development10
multiplatform10
llvm10
build-system10
cross-platform10
intermediate-code10
regular-expression10
php10
compiler-design10
intermediate-language10
cygwin10
cprogramming-language10
leanback10
Programming languages (18)
Github contributions (5)
llvm/llvm-project
Jan 2023 - Jan 2023
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Role in this project:
Software Engineer (Compiler/Toolchain)
Software Engineer (Compiler/Toolchain)Contributions:52 reviews, 3 commits, 34 PRs in 3 days
Contributions summary:Nuno primarily contributed to the LLVM project by modifying code related to undefined behavior and its handling within the compiler. Their work involved replacing uses of "undef" with "poison" in various parts of the codebase, including SSAUpdater, StackColoring, LoopFuse, and DebugInfo. These changes aimed to improve the clarity and correctness of the compiler's behavior with respect to undefined behavior, particularly in areas related to optimization and debug information generation. This includes also modifying existing documentation about UB.
compilerstechnologiesclangsubmittoolchain
php/web-php
Dec 2005 - Feb 2008
The www.php.net site
Role in this project:Back-end Developer
Back-end DeveloperContributions:38 commits in 2 years 3 months
Contributions summary:Nuno primarily contributed to bug fixes and enhancements for the php.net website. Their work included addressing typos, fixing broken links, and resolving display issues, such as those related to search results and URL rewriting. The user also implemented features to improve user experience, such as adding spam protection and improving the language selection for searches. Furthermore, the user updated various components of the website, including the code for documentation, news archive, and anonymous CVS access.
phpphp7
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.