Welcome to my page!

My name is Nuno Machado and I am post-doctoral researcher at the High-Assurance Software Laboratory (HASLab) of University of Minho and INESC TEC.

My current research focuses on designing scalable and resilient distributed systems for storing and analyzing massive amounts of data. I also work/have interest on privacy-aware solutions for cloud computing and IoT.

I completed my Ph.D. in the Distributed Systems Group (GSD) at Instituto Superior Técnico (University of Lisbon), fortunately advised by Prof. Luís Rodrigues. During my Ph.D., I 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, I was an intern at Microsoft Research (Redmond), working with Brandon Lucia on concurrency debugging.

Social: LinkedIn | Github

Postdoctoral Researcher at HASLab,

University of Minho and INESC TEC

Departamento de Informática

Universidade do Minho

4710-057 Braga


Email: nuno.a.machado [at] inesctec [dot] pt

Telephone: (+351) 253 604 477

Internal Line: 604 477

Nuno Machado