Nuno Lopes
Assoc Prof at U Lisbon
Actions
Associate professor at U Lisbon and an advisor at FuriosaAI.
He has been an open-source contributor for over two decades (LLVM, clang, PHP, Z3, PyTorch, etc). He's also the creator of Alive2, an automatic compiler verification tool, widely used by the LLVM community.
Please note that Sessionize is not responsible for the accuracy or validity of the data provided by speakers. If you suspect this profile to be fake or spam, please let us know.
Jump to top