The Maestro paper has been accepted at NSDI'24. Congratulations Francisco!
Read the pre-print while we work on the camera-ready!

Luis Pedrosa

Assistant Professor, Department of Computer Science and Engineering,
IST / University of Lisbon & Researcher, INESC-ID

Luis D. Pedrosa Luis Pedrosa is an Assistant Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico / University of Lisbon and a Researcher at INESC-ID. Before joining IST, he received his PhD in Computer Science at the University of Southern California in 2016 and was subsequently a Post-Doctoral Researcher at the Swiss Federal Institute of Technology in Lausanne (EPFL).

With work spanning the systems, networking, and programming languages communities, Luis’ main research interests concern the novel applications of PL techniques towards the understanding and improvement of modern networked systems. His recent work involves synthesizing enhanced network functions for network accelerators and reasoning about their correctness, reliability, and performance. He has prior work in verifying and analyzing distributed systems, but has also worked in a wide variety of other fields, including large-scale cluster management, mobile and cloud computing, low-power embedded systems, design automation, and even reverse engineering automotive electronic control units.

Shorter Version:

Luis Pedrosa is an Assistant Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico / University of Lisbon and a Researcher at INESC-ID. Before joining IST, he received his PhD in Computer Science at the University of Southern California and was subsequently a Post-Doctoral Researcher at the Swiss Federal Institute of Technology in Lausanne (EPFL). His research involves applying PL techniques to synthesize and reason about the performance, correctness, and reliability of modern networked systems.

E-mail: luis.pedrosa@tecnico.ulisboa.pt
Webpage: https://pedrosa.2y.net/
Photos: Tall, Square