Full Name
Nuno Lopes
Company/Affiliation
Microsoft Research
Speaker Bio
Nuno is a Principal Researcher at Microsoft Research. Loves compilers, verification, and mixing the too. Nuno created Alive and Alive2.
Nuno Lopes