Luís David Figueiredo Mascarenhas Moreira Pedrosa (4317-80C2-6FEF)

Curriculum Vitae

Luís David Figueiredo Mascarenhas Moreira Pedrosa

Luís David Figueiredo Mascarenhas Moreira Pedrosa. Concluiu o(a) Mestrado em Engenharia de Redes de Comunicações em 2007/11/09 pelo(a) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Licenciatura em Ciências de Engenharia - Engenharia de Redes de Comunicações em 2007/09/01 pelo(a) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark e Doctor of Philosophy em PhD in Computer Science em 2016/12/14 pelo(a) University of Southern California. É Investigador no(a) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa. Publicou 2 artigos em revistas especializadas. Possui 1 capítulo(s) de livros.

Read full resume ↓

Identification

Personal identification

Full name: Luís David Figueiredo Mascarenhas Moreira Pedrosa

Citation names

Pedrosa, Luis
Pedrosa, Luis D.

Author identifiers

Ciência ID: 4317-80C2-6FEF
ORCID iD: 0000-0002-4611-8309
Google Scholar ID: Rue7JwcAAAAJ
Researcher Id: AAM-6240-2020
Scopus Author Id: 25927476200

Websites

https://pedrosa.2y.net/ (Personal)

Languages

Language	Speaking	Reading	Listening
English (Mother tongue)
Portuguese (Mother tongue)
Spanish; Castilian	Intermediate (B1)	Intermediate (B1)	Intermediate (B1)
French	Intermediate (B1)	Intermediate (B1)	Intermediate (B1)

Education

	Degree	Classification
2009/08/01 - 2016/12/14 Concluded	PhD in Computer Science (Doctor of Philosophy) University of Southern California, United States "Systematic Analysis of Network Protocol Implementations" (THESIS/DISSERTATION)	3.95
2002/08/01 - 2007/11/09 Concluded	Engenharia de Redes de Comunicações (Mestrado) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal "WMTP: Wireless Modular Transport Protocol" (THESIS/DISSERTATION)	18.48
2002/08/01 - 2007/09/01 Concluded	Ciências de Engenharia - Engenharia de Redes de Comunicações (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal	18.16

Affiliation

Science

	Category Host institution	Employer
2019/07/29 - Current	Researcher (Research)	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

2006/10/15 - 2019/08/31	Postdoc (Research)	École Polytechnique Fédérale de Lausanne, Switzerland
	École Polytechnique Fédérale de Lausanne, Switzerland
2013/05 - 2014/05	Research Trainee (Research)	Google Inc, United States
	Google Inc, United States
2012/05 - 2012/08	Research Trainee (Research)	Microsoft Research, United States
	Microsoft Research, United States
2008 - 2009	Research Trainee (Research)	Instituto de Telecomunicações, Portugal
	Instituto de Telecomunicações, Portugal

Teaching in Higher Education

	Category Host institution	Employer
2019/09/01 - Current	Assistant Professor (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal

Projects

Contract

	Designation	Funders
2023/03/01 - 2026/02/28	Estrutura para uma Internet multi-arquitetura 2022.09325.PTDC 10.54499/2022.09325.PTDC FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal Instituto de Telecomunicações Lisboa, Portugal Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Ongoing
2023/01 - 2026/01	ACES - Autopoietic Cognitive Edge-cloud Services 101093126 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Horizon 2020 Ongoing
2024/01/01 - 2024/12/31	SALAD-Nets - Synthesizing Adaptive Large-scale Accelerated and Distributed Network Functions 2022.15622.CMU 10.54499/2022.15622.CMU Principal investigator Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Ongoing
2020/11/01 - 2022/04/30	SyNAPSE - Synthesizing Network Accelerators using Programmable Switching Equipment CMU/TIC/0083/2019 10.54499/CMU/TIC/0083/2019 Principal investigator Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Ongoing

Outputs

Publications

Book chapter	Tiago Camilo; Pedro Melo; André Rodrigues; Pedrosa, Luís; Jorge Sá Silva; Rui Neves; Rui Rocha; Fernando Boavida. "Wireless Sensor Network Deployment: an Experimental Approach". In Wireless Mesh Networking. McGraw-Hill International, 2008. Published
Conference paper	Ribeiro, Guilherme; Pedrosa, Luis; Signorello, Salvatore; Fernando M. V. Ramos. "Internet Architecture Evolution: Found in Translation". Paper presented in The 23rd ACM Workshop on Hot Topics in Networks (HotNets'24), Irvine, CA, 2024. 10.1145/3696348.3696876 Francisco Pereira; Fernando M. V. Ramos; Pedrosa, Luis. "Automatic Parallelization of Software Network Functions". Paper presented in 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI'24), Santa Clara, CA, 2024. Pereira, Francisco; Matos, Gonçalo; Sadok, Hugo; Kim, Daehyeok; Martins, Ruben; Sherry, Justine; Ramos, Fernando M. V.; Pedrosa, Luis. "Automatic generation of network function accelerators using component-based synthesis". Paper presented in The ACM SIGCOMM Symposium on SDN Research (SOSR), 2022. 10.1145/3563647.3563656 Zaostrovnykh, Arseniy; Pirelli, Solal; Iyer, Rishabh; Rizzo, Matteo; Pedrosa, Luis; Argyraki, Katerina; Candea, George. "Verifying Software Network Functions with No Verification Expertise". Paper presented in 27th ACM Symposium on Operating Systems Principles (SOSP'19), Huntsville, Ontario, 2019. 10.1145/3341301.3359647 Rishabh Iyer; Pedrosa, Luís; Arseniy Zaostrovnykh; Solal Pirelli; Katerina Argyraki; George Candea. "Performance Contracts for Software Network Functions". Paper presented in 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI'19), Boston, MA, 2019. Published Pedrosa, Luis; Iyer, Rishabh; Zaostrovnykh, Arseniy; Fietz, Jonas; Argyraki, Katerina. "Automated Synthesis of Adversarial Workloads for Network Functions". Paper presented in ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'18), Budapest, 2018. Published • 10.1145/3230543.3230573 Zaostrovnykh, Arseniy; Pirelli, Solal; Pedrosa, Luis; Argyraki, Katerina; Candea, George. "A Formally Verified NAT". Paper presented in ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'17), Los Angeles, CA, 2017. 10.1145/3098822.3098833 Flach, Tobias; Papageorge, Pavlos; Terzis, Andreas; Pedrosa, Luis; Cheng, Yuchung; Karim, Tayeb; Katz-Bassett, Ethan; Govindan, Ramesh. "An Internet-Wide Analysis of Traffic Policing". Paper presented in ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'16), 2016. 10.1145/2934872.2934873 Pedrosa, Luís; Ari Fogel; Nupur Kothari; Ramesh Govindan; Ratul Mahajan; Todd Millstein. "Analyzing Protocol Implementations for Interoperability". Paper presented in 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15), 2015. Published Ari Fogel; Stanley Fung; Pedrosa, Luís; Meg Walraed-Sullivan; Ramesh Govindan; Ratul Mahajan; Todd Millstein. "A General Approach to Network Configuration Analysis". Paper presented in 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15), 2015. Published Verma, Abhishek; Pedrosa, Luis; Korupolu, Madhukar; Oppenheimer, David; Tune, Eric; Wilkes, John. "Large-scale cluster management at Google with Borg". Paper presented in 10th European Conference on Computer Systems (EuroSys'15), 2015. Published • 10.1145/2741948.2741964 Flach, Tobias; Mishra, Nilesh; Pedrosa, Luis; Riesz, Christopher; Govindan, Ramesh. "CarMA: Towards Personalized Automotive Tuning". Paper presented in 9th ACM Conference on Embedded Networked Sensor Systems (SenSys'11), 2011. Published • 10.1145/2070942.2070957 Melo, Pedro; Pedrosa, Luis D.; Rocha, Rui M.. "Interconnecting WSNs with Fast Moving Nodes: Experiments in Real-World Scenarios". Paper presented in 2nd International Workshop on Sensor Networks (SN 2009), 2009. Published • 10.1109/icccn.2009.5235275 Oliveira, Carla; Pedrosa, Luis; Rocha, Rui M.. "Characterizing On-Body Wireless Sensor Networks". Paper presented in Wireless Sensor Networks Workshop, 2008. Published • 10.1109/ntms.2008.ecp.30 Pedrosa, Luis D.; Rocha, Rui M.. "WMTP - A Modular WSN Transport Protocol: The Fairness Module". Paper presented in Wireless Sensor Networks Workshop, 2008. Published • 10.1109/ntms.2008.ecp.103 Pedrosa, L.D.; Melo, P.; Rocha, R.M.; Neves, R.. "A Flexible Approach to WSN Deployment". Paper presented in 1st International Workshop on Sensor Networks (SN 2008), 2008. Published • 10.1109/icccn.2008.ecp.161
Journal article	Santos, André C.; Pedrosa, Luís D.; Kuipers, Martijn; Rocha, Rui M.. "Resource Description Language: A Unified Description Language for Network Embedded Resources". International Journal of Distributed Sensor Networks 8 8 (2012): 860864. http://dx.doi.org/10.1155/2012/860864. Published • 10.1155/2012/860864 Pedrosa, Luis D.; Melo, Pedro; Rocha, Rui M.; Neves, Rui. "A Flexible Approach to WSN Development and Deployment". International Journal of Sensor Networks 6 3/4 (2009): 199. http://dx.doi.org/10.1504/ijsnet.2009.029396. Published • 10.1504/ijsnet.2009.029396

Activities

Association member

	Society Organization name	Role
2013 - Current	Association for Computing Machinery

Conference scientific committee

	Conference name	Conference host
2020 - 2020	SIGCOMM 2020
2019 - 2019	Architectural Support for Programming Languages and Operating Systems (ASPLOS)	Lausanne, Switzerland

Course / Discipline taught

	Academic session	Degree Subject (Type)	Institution / Organization
2023/11/13 - 2024/01/05	Computer Networks	Licenciatura em Engenharia Informática e de Computadores (Licenciatura)	Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2023/05 - 2023/07	Mobile and Ubiquitous Computing	Mestrado em Engenharia Informática e de Computadores (Mestrado)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/05 - 2022/07	Mobile and Ubiquitous Computing	Mestrado em Engenharia Informática e de Computadores (Mestrado)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/11/29 - 2022/03/04	Computer Networks	Licenciatura em Engenharia Informática e de Computadores (Licenciatura)	Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2021/03 - 2021/07	Mobile and Ubiquitous Computing	Mestrado em Engenharia Informática e de Computadores (Mestrado)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09 - 2021/02	Computer Networks	Licenciatura em Engenharia Informática e de Computadores (Licenciatura)	Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2020/02 - 2020/07	Mobile and Ubiquitous Computing	Mestrado em Engenharia Informática e de Computadores (Mestrado)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09 - 2020/02	Computer Networks	Licenciatura em Engenharia Informática e de Computadores (Licenciatura)	Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2018/02 - 2018/05	Systems Programming Project	Computer Science (Bachelor)	École Polytechnique Fédérale de Lausanne, Switzerland

Journal scientific committee

	Journal title (ISSN)	Publisher
2018 - 2018	ACM SIGCOMM Computer Communication Review (0146-4833)	Association for Computing Machinery
2017 - 2017	Mobile Information Systems (1875-905X)	Hindawi Limited

Distinctions

Award

2022	Excellence in Teaching Award Universidade de Lisboa Instituto Superior Técnico, Portugal
2021	Excellence in Teaching Award Universidade de Lisboa Instituto Superior Técnico, Portugal
2020	Excellence in Teaching Award Universidade de Lisboa Instituto Superior Técnico, Portugal
2015	University of Southern California Best Research Assistant in Computer Science University of Southern California, United States
2008	2nd Technical University of Lisbon / Santander Totta Prize "The Technical University of Lisbon's Best Students" Universidade de Lisboa, Portugal
2007	Professor Luís Vidigal Award Universidade de Lisboa Instituto Superior Técnico, Portugal
2006	Most Valuable Student Microsoft Portugal, Portugal
2006	Merit Diploma Universidade de Lisboa Instituto Superior Técnico, Portugal
2006	Caixa Geral de Depósitos Award Caixa Geral de Depositos, Portugal
2005	Merit Diploma Universidade de Lisboa Instituto Superior Técnico, Portugal
2005	Caixa Geral de Depósitos Award Caixa Geral de Depositos, Portugal
2004	Merit Diploma Universidade de Lisboa Instituto Superior Técnico, Portugal
2004	Merit Scholarship Universidade de Lisboa, Portugal
2003	Merit Diploma Universidade de Lisboa Instituto Superior Técnico, Portugal
2003	Merit Scholarship Universidade de Lisboa, Portugal
2002	Bronze Medal, VII Ibero-American Physics Olympiad