???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.
Ler resumo completo ↓
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

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

Categoria Profissional
Instituição de acolhimento 		Empregador
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
École Polytechnique Fédérale de Lausanne, Suiça
2013/05 - 2014/05 Estagiário de Investigação (Investigação) Google Inc, Estados Unidos
Google Inc, Estados Unidos
2012/05 - 2012/08 Estagiário de Investigação (Investigação) Microsoft Research, Estados Unidos
Microsoft Research, Estados Unidos
2008 - 2009 Estagiário de Investigação (Investigação) Instituto de Telecomunicações, Portugal
Instituto de Telecomunicações, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2019/09/01 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
Projetos

Projeto

Designação Financiadores
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
Em curso
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
Em curso
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
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2020/11/01 - 2022/04/30 SyNAPSE - Synthesizing Network Accelerators using Programmable Switching Equipment
CMU/TIC/0083/2019
10.54499/CMU/TIC/0083/2019
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
Produções

Publicações

Artigo em conferência
  1. Ribeiro, Guilherme; Pedrosa, Luis; Signorello, Salvatore; Fernando M. V. Ramos. "Internet Architecture Evolution: Found in Translation". Trabalho apresentado em The 23rd ACM Workshop on Hot Topics in Networks (HotNets'24), Irvine, CA, 2024.
    10.1145/3696348.3696876
  2. Francisco Pereira; Fernando M. V. Ramos; Pedrosa, Luis. "Automatic Parallelization of Software Network Functions". Trabalho apresentado em 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI'24), Santa Clara, CA, 2024.
  3. 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". Trabalho apresentado em The ACM SIGCOMM Symposium on SDN Research (SOSR), 2022.
    10.1145/3563647.3563656
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
2020 - 2020 SIGCOMM 2020
2019 - 2019 Architectural Support for Programming Languages and Operating Systems (ASPLOS) Lausanne, Switzerland

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
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, Suiça

Membro de associação

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

Prémio

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, 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