Nuno Saavedra is a PhD student at INESC-ID and Instituto Superior Técnico, University of Lisbon. His research focuses on software reliability, particularly in the context of infrastructure and configuration code. He also works on automated theorem proving and the development of high-quality code benchmarks to support the evaluation of software engineering tools. For more details, see his homepage.