Luis 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. He leads Systems and Networking research in the Distributed Parallel & Secure Systems Group.

• Education: PhD in Computer Science (2016, University of Southern California), advised by Professor Ramesh Govindan in the Networked Systems Laboratory
• Postdoctoral: Swiss Federal Institute of Technology in Lausanne (EPFL)

His research combines techniques from programming languages and formal methods to create models that: (1) identify software bugs, (2) debug performance issues, and (3) enable formal verification of correctness/performance guarantees. He also develops adversarial workload generation tools for network defense.

Key publication trends span 2012-2024, focusing on:

• Software Network Functions (5+ papers)
• Wireless Sensor Networks (4+ papers)
• Formal Verification (3+ papers)
• Cloud/Distributed Systems (3+ papers)
• Network Security (3+ papers)

Scientific Recognition:

• EuroSys'25 Test-of-Time award for co-authored Borg paper

He teaches 1st Cycle Integrative Projects in Telecommunications/Computer Engineering and Computer Networks courses. The research group maintains open-source projects like CASTAN for adversarial workload generation.