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

Luis D. Pedrosa

About Me:

I am 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. I do Systems and Networking research in the Distributed Parallel & Secure Systems Group.

I received my PhD in Computer Science at the University of Southern California in 2016, advised by Professor Ramesh Govindan in the Networked Systems Laboratory. I was also a Post-Doctoral Researcher, working with Professor Katerina Argyraki at the Swiss Federal Institute of Technology in Lausanne (EPFL - École Polytechnique Fédérale de Lausanne).

My research uses techniques from the PL and formal methods communities to tackle problems in systems and networking. Much of my work involves analyzing a software system to build a model of its functionality. These models can then be used to find bugs or help debug performance issues. When the model is designed to be sound and complete, we can go a step further and formally verify correctness and performance, and even synthesize new and improved systems.


Research Interests:

  • Systems and Networking
  • Program Analysis
  • Software and Network Verification
  • Program Synthesis
  • Cloud Computing and Distributed Systems
  • Software Networking

Random Quote:

"Few will have the greatness to bend history itself, but each of us can work to change a small portion of events, and in the total of all those acts will be written the history of this generation."

Robert F. Kennedy