Nuno Pereira Lopes

Nuno Pereira Lopes is an Associate Professor at Instituto Superior Técnico, part of Universidade de Lisboa, and a researcher at INESC-ID. He also serves as an advisor at FuriosaAI, focusing on tensor contraction processors for AI workloads.

• Research Interests: Compilers, formal verification of LLVM optimizations, machine learning frameworks, undefined behavior exploitation, probabilistic model checking, blockchain security, and many-core code generation.
• Teaching: Compilers and Computer/Informatics Engineering projects.
• Funding: Supported by Google, Matter Labs, NLnet, Oracle, PRACE, RNCA, and Woven by Toyota.

Recent Publications focus on LLVM backend validation, PyTorch pipeline parallelism, C++ dynamic cast optimization, undefined behavior in C/C++, and AI tensor processors. His work bridges compiler design, formal methods, and AI hardware.

Academic Service includes representing Portugal in ISO/IEC JTC 1/SC 22 (C++), organizing FLoC'26, and serving on program committees for PLDI, EuroLLVM, and CGO.