Nuno Machado is a post-doctoral researcher at the High-Assurance Software Laboratory (HASLab) of University of Minho and INESC TEC.
His current research focuses on designing scalable and resilient distributed systems for storing and analyzing massive amounts of data. He also works/has interest on privacy-aware solutions for cloud computing and IoT.
Nuno got a Ph.D. in Computer Science and Engineering from Instituto Superior Técnico (University of Lisbon), under the supervision of Luís Rodrigues. He worked on automated debugging techniques for multithreaded applications that allow developers to deterministically replay concurrency bugs, as well as isolate their root cause.
In the summer of 2014, Nuno was an intern at Microsoft Research (Redmond), working with Brandon Lucia on concurrency debugging.