???global.info.a_carregar???
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.
Identificação

Identificação pessoal

Nome completo
Luís David Figueiredo Mascarenhas Moreira Pedrosa

Nomes de citação

  • Pedrosa, Luis
  • Pedrosa, Luis D.

Identificadores de autor

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/ (Pessoal)

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês (Idioma materno)
Português (Idioma materno)
Espanhol; Castelhano Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Francês Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Formação
Grau Classificação
2009/08/01 - 2016/12/14
Concluído
PhD in Computer Science (Doctor of Philosophy)
University of Southern California, Estados Unidos
"Systematic Analysis of Network Protocol Implementations" (TESE/DISSERTAÇÃO)
3.95
2002/08/01 - 2007/11/09
Concluído
Engenharia de Redes de Comunicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
"WMTP: Wireless Modular Transport Protocol" (TESE/DISSERTAÇÃO)
18.48
2002/08/01 - 2007/09/01
Concluído
Ciências de Engenharia - Engenharia de Redes de Comunicações (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
18.16
Percurso profissional

Ciência

2019/07/29 - Atual Investigador (Investigação)
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2006/10/15 - 2019/08/31 Pós-doutorado (Investigação)
École Polytechnique Fédérale de Lausanne, Suiça
2013/05 - 2014/05 Estagiário de Investigação (Investigação)
Google Inc, Estados Unidos
2012/05 - 2012/08 Estagiário de Investigação (Investigação)
Microsoft Research, Estados Unidos
2008 - 2009 Estagiário de Investigação (Investigação)
Instituto de Telecomunicações, Portugal

Docência no Ensino Superior

2019/09/01 - Atual Professor Auxiliar (Docente Universitário)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Produções

Publicações

Artigo em conferência
  1. Zaostrovnykh, Arseniy; Pirelli, Solal; Iyer, Rishabh; Rizzo, Matteo; Pedrosa, Luis; Argyraki, Katerina; Candea, George. "Verifying Software Network Functions with No Verification Expertise". Trabalho apresentado em 27th ACM Symposium on Operating Systems Principles (SOSP'19), Huntsville, Ontario, 2019.
    10.1145/3341301.3359647
  2. Rishabh Iyer; Pedrosa, Luís; Arseniy Zaostrovnykh; Solal Pirelli; Katerina Argyraki; George Candea. "Performance Contracts for Software Network Functions". Trabalho apresentado em 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI'19), Boston, MA, 2019.
    Publicado
  3. Pedrosa, Luis; Iyer, Rishabh; Zaostrovnykh, Arseniy; Fietz, Jonas; Argyraki, Katerina. "Automated Synthesis of Adversarial Workloads for Network Functions". Trabalho apresentado em ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'18), Budapest, 2018.
    Publicado • 10.1145/3230543.3230573
  4. Zaostrovnykh, Arseniy; Pirelli, Solal; Pedrosa, Luis; Argyraki, Katerina; Candea, George. "A Formally Verified NAT". Trabalho apresentado em ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'17), Los Angeles, CA, 2017.
    10.1145/3098822.3098833
  5. Flach, Tobias; Papageorge, Pavlos; Terzis, Andreas; Pedrosa, Luis; Cheng, Yuchung; Karim, Tayeb; Katz-Bassett, Ethan; Govindan, Ramesh. "An Internet-Wide Analysis of Traffic Policing". Trabalho apresentado em ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'16), 2016.
    10.1145/2934872.2934873
  6. Pedrosa, Luís; Ari Fogel; Nupur Kothari; Ramesh Govindan; Ratul Mahajan; Todd Millstein. "Analyzing Protocol Implementations for Interoperability". Trabalho apresentado em 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15), 2015.
    Publicado
  7. Ari Fogel; Stanley Fung; Pedrosa, Luís; Meg Walraed-Sullivan; Ramesh Govindan; Ratul Mahajan; Todd Millstein. "A General Approach to Network Configuration Analysis". Trabalho apresentado em 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15), 2015.
    Publicado
  8. Verma, Abhishek; Pedrosa, Luis; Korupolu, Madhukar; Oppenheimer, David; Tune, Eric; Wilkes, John. "Large-scale cluster management at Google with Borg". Trabalho apresentado em 10th European Conference on Computer Systems (EuroSys'15), 2015.
    Publicado • 10.1145/2741948.2741964
  9. Flach, Tobias; Mishra, Nilesh; Pedrosa, Luis; Riesz, Christopher; Govindan, Ramesh. "CarMA: Towards Personalized Automotive Tuning". Trabalho apresentado em 9th ACM Conference on Embedded Networked Sensor Systems (SenSys'11), 2011.
    Publicado • 10.1145/2070942.2070957
  10. Melo, Pedro; Pedrosa, Luis D.; Rocha, Rui M.. "Interconnecting WSNs with Fast Moving Nodes: Experiments in Real-World Scenarios". Trabalho apresentado em 2nd International Workshop on Sensor Networks (SN 2009), 2009.
    Publicado • 10.1109/icccn.2009.5235275
  11. Oliveira, Carla; Pedrosa, Luis; Rocha, Rui M.. "Characterizing On-Body Wireless Sensor Networks". Trabalho apresentado em Wireless Sensor Networks Workshop, 2008.
    Publicado • 10.1109/ntms.2008.ecp.30
  12. Pedrosa, Luis D.; Rocha, Rui M.. "WMTP - A Modular WSN Transport Protocol: The Fairness Module". Trabalho apresentado em Wireless Sensor Networks Workshop, 2008.
    Publicado • 10.1109/ntms.2008.ecp.103
  13. Pedrosa, L.D.; Melo, P.; Rocha, R.M.; Neves, R.. "A Flexible Approach to WSN Deployment". Trabalho apresentado em 1st International Workshop on Sensor Networks (SN 2008), 2008.
    Publicado • 10.1109/icccn.2008.ecp.161
Artigo em revista
  1. 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.
    Publicado • 10.1155/2012/860864
  2. 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.
    Publicado • 10.1504/ijsnet.2009.029396
Capítulo de livro
  1. 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.
    Publicado
Atividades

Arbitragem científica em conferência

Nome da conferência Local da conferência
2019 - 2019 Architectural Support for Programming Languages and Operating Systems (ASPLOS)

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2018 - 2018 ACM SIGCOMM Computer Communication Review (0146-4833) Association for Computing Machinery
2017 - 2017 Mobile Information Systems (1875-905X) Hindawi Limited

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2018/02 - 2018/05 Systems Programming Project (CS207a) Computer Science (Bachelor) École Polytechnique Fédérale de Lausanne, Suiça

Membro de associação

Nome da associação Tipo de participação
2013 - Atual Association for Computing Machinery
Distinções

Prémio

2015 University of Southern California Best Research Assistant in Computer Science
University of Southern California, Estados Unidos
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