Curriculum Vitae

Luis D. Pedrosa

Índice:

• Identificação
• Habilitações Académicas
• Actividades Profissionais e/ou Científicas Prévias e Situação Corrente
• Projectos de Investigação Passados e Correntes
• Publicações
• Bolsas e Prémios Académicos
• Experiência de Ensino e Tutoria
• Línguas
• Outras Habilitações
• Elementos Adicionais

Identificação:

Nome Completo: Luís David Figueiredo Mascarenhas Moreira Pedrosa
Data de Nascimento: 23 de Maio de 1984
Naturalidade: Lisboa, Portugal
Nacionalidade: Portuguesa
Situação Militar: Regularizada
Morada Postal:

Rua Alves Redol, 9
Gabinete 529
1000-029 Lisboa
Portugal

E-mail: luis.pedrosa@tecnico.ulisboa.pt
Página Web: https://icwww.epfl.ch/~lpedrosa/

Habilitações Académicas:

• University of Southern California, de 2009 a 2016.
  Doutoramento em Engenharia Informática, orientado pelo Prof. Ramesh Govindan, com média de 3.95 (em 4).
• Instituto Superior Técnico / Universidade Técnica de Lisboa, de 2002 a 2007
  Mestrado em Engenharia de Redes de Comunicações (MERC), orientado pelo Prof. Rui Rocha, com a média final de 18,48.
  Licenciatura em Ciências de Engenharia - Engenharia de Redes de Comunicações (LERC), com a média final de 18,16.
• Concluiu o ensino secundário com a classificação de 18,1 valores, no ano lectivo de 2001 / 2002.
• Frequentou o 1º e 2º ciclo do ensino básico nos Estados Unidos de América.

Actividades Profissionais e/ou Científica:

• Professor Auxiliar, no Instituto Superior Técnico / Universidade de Lisboa, desde 2019.
• Investigador Pós-doutorado, na Escola Politécnica Federal de Lausana (EPFL - École Polytechnique Fédérale de Lausanne), de 2016 a 2019.
• Assistente de Investigação em Engenharia Informática, na University of Southern California, de 2010 a 2016.
• Estagiário no projecto de gestão de clusters Borg, na Google Inc., desde Maio de 2013 a Maio de 2014.
• Assistente de Ensino na cadeira de CSCI-402 - Sistemas Operativos, 1º Semestre de 2013/2014
• Estagiário no grupo de Mobility and Networking Research na Microsoft Research, desde Maio de 2012 a Agosto de 2012.
• Investigador no Embedded Networks Laboratory, na University of Southern California, desde 2009.
• Investigador no IT – Instituto de Telecomunicações, de 2008 a 2009.
• Investigador no GEMS – Group of Embedded Networked Systems and Heterogeneous Networks do LEMe – Laboratory of Excellence in Mobility, de 2006 a 2009.
• Session Chair na First International Workshop on Security of Computer Communications and Networks (SoCCaN 2008), St. Thomas, U.S. Virgin Islands, 4 a 7 de Agosto, 2008.
• Participou, entre Novembro de 2006 e Fevereiro de 2007, num estágio na Tecmic – Tecnologias de Microelectrónica, S.A., tendo como objectivo a realização de um trabalho no âmbito do Portfólio Pessoal (Integração de Comunicações usando a Tecnologia Bluetooth no Sistema XTraN).
• Participou, em 2006, num estágio no LEMe - Laboratório de Excelência em Mobilidade, tendo como objectivo o desenvolvimento de um demonstrador tecnológico de uma rede de sensores.
• É membro fundador do Núcleo de Estudantes de Engenharia de Redes de Comunicação e de Informação do Instituto Superior Técnico (NEERCI-IST) onde exerceu, desde a sua fundação (11 de Março de 2005) e até Dezembro de 2006, o cargo de Vice-Presidente.

Projectos de Investigação Passados e Correntes:

• Participou no Projeto Bolt, desde 2018 a 2019.
• Participou no Projeto Vigor, desde 2016 a 2019.
• Participa no Projeto SPA (Systematic Protocol Analysis), desde 2014.
• Participou no Projeto PIC (Protocol Interoperability Checker), de 2011 a 2015.
• Participou no Projecto MobiProg, de 2009 a 2011.
• Participou no Projecto ShakeNet, em 2011.
• Participou no Projecto CarMA, de 2008 a 2009.
• Participou no Projecto Modulus, de 2008 a 2009.

Participou no Projecto RDL (Resource Description Language), de 2008 a 2009.

• Participou no NEWCOM++ – Network of Excellence in Wireless Communications, um projecto IST – Information Society Technologies 7^th Framework Programme European Union Project, de 2008 a 2009.
• Participou no Projecto WMTP (Wireless Modular Transport Protocol) Project, de 2006 a 2007.
• Participou no CRUISE – CReating Ubiquitous Intelligent Sensing Environments Network of Excellence, um projecto IST – Information Society Technologies 6^th Framework Programme European Union Project.

Publicações:

Dissertações:

1. Luis Pedrosa; Systematic Analysis of Network Protocol Implementations. PhD Thesis, University of Southern California. 2016
   
2. Luis Pedrosa; WMTP: Wireless Modular Transport Protocol. Master's Thesis, Instituto Superior Técnico / Technical University of Lisbon. 2007
   

Papers em Congresso:

1. Francisco Pereira, Fernando M. V. Ramos, and Luis Pedrosa; Automatic Parallelization of Software Network Functions. In 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI'24). 2024
   
2. Guilherme Ribeiro, Luis Pedrosa, Salvatore Signorello, and Fernando M. V. Ramos; Internet Architecture Evolution: Found in Translation. In 23rd ACM Workshop on Hot Topics in Networks (HotNets'24). 2024
   
3. Francisco Pereira, Gonçalo Matos, Hugo Sadok, Daehyeok Kim, Ruben Martins, Justine Sherry, Fernando M. V. Ramos, and Luis Pedrosa; Automatic Generation of Network Function Accelerators Using Component-Based Synthesis. In 2022 Symposium on SDN Research (SOSR'22). 2022
   
4. Rishabh Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina Argyraki, and George Candea; Performance Contracts for Software Network Functions. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI'19). 2019
   
5. Arseniy Zaostrovnykh, Solal Pirelli, Rishabh Iyer, Matteo Rizzo, Luis Pedrosa, Katerina Argyraki, and George Candea; Verifying Software Network Functions with No Verification Expertise. In 27th ACM Symposium on Operating Systems Principles (SOSP'19). 2019
   
6. Luis Pedrosa, Rishabh Iyer, Arseniy Zaostrovnykh, Jonas Fietz, and Katerina Argyraki; Automated Synthesis of Adversarial Workloads for Network Functions. In Proceedings of the ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'18). 2018
   
7. Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina Argyraki, and George Candea; A Formally Verified NAT. In Proceedings of the ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'17). 2017
   
8. Tobias Flach, Pavlos Papageorge, Andreas Terzis, Luis Pedrosa, Yuchung Cheng, Tayeb Karim, Ethan Katz-Bassett, and Ramesh Govindan; An Internet-Wide Analysis of Traffic Policing. In Proceedings of the ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'16). 2016
   
9. Abhishek Verma, Luis Pedrosa, Madhukar R. Korupolu, David Oppenheimer, Eric Tune, and John Wilkes; Large-scale cluster management at Google with Borg. In Proceedings of the 10th European Conference on Computer Systems (EuroSys'15). 2015
   
10. Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein; A General Approach to Network Configuration Analysis. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15). 2015
    
11. Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, and Todd Millstein; Analyzing Protocol Implementations for Interoperability. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15). 2015
    
12. Tobias Flach, Nilesh Mishra, Luis Pedrosa, Christopher Riesz, and Ramesh Govindan; CarMA: Towards Personalized Automotive Tuning. In Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems. 2011
    
13. Pedro Melo, Luis Pedrosa, and Rui Rocha; Interconnecting WSNs with Fast Moving Nodes: Experiments in Real-World Scenarios. In The Second International Workshop on Sensor Networks - SN 2009. 2009
    
14. Luis Pedrosa, Pedro Melo, Rui Rocha, and Rui Neves; A Flexible Approach to WSN Deployment. In The First International Workshop on Sensor Networks - SN 2008. 2008
    
15. Luis Pedrosa, and Rui Rocha; WMTP - A Modular WSN Transport Protocol: The Fairness Module. In IFIP International Conf. on New Technologies, Mobility and Security - Wireless Sensor Networks Workshop - NTMS. 2008
    
16. Carla Oliveira, Luis Pedrosa, and Rui Rocha; Characterizing On-Body Wireless Sensor Networks. In IFIP International Conf. on New Technologies, Mobility and Security - Wireless Sensor Networks Workshop - NTMS. 2008
    

Papers em Revista:

1. André Santos, Luis Pedrosa, Martijn Kuipers, and Rui Rocha; Resource Description Language: A Unified Description Language for Network Embedded Resources. International Journal of Distributed Sensor Networks, 2012(860864). 2012
   
2. Luis Pedrosa, Pedro Melo, Rui Rocha, and Rui Neves; A Flexible Approach to WSN Development and Deployment. International Journal of Sensor Networks, 6(3/4):199 - 211. 2009
   

Capítulos de Livros:

1. Tiago Camilo, Pedro Melo, André Rodrigues, Luis Pedrosa, Jorge Sá Silva, Rui Neves, Rui Rocha, and Fernando Boavida; Wireless Sensor Network Deployment: an Experimental Approach. In Wireless Mesh Networking. McGraw-Hill International. 2008
   

Bolsas e Prémios Académicos:

• Galardoado com o EuroSys 2025 Test-of-Time Award pelo trabalho intitulado de Large-scale cluster management at Google with Borg.
• Galardoado com Diplomas de Excelência no Ensino, no Instituto Superior Técnico, Univesidade de Lisboa, nos anos lectivos de 2019/20, 2020/21, 2021/22, 2022/23 e 2023/24.
• Melhor Assistente de Investigação do Departamento de Engenharia Informática da University of Southern California em 2015.
• Convidado para a sociedade de honra Phi Kappa Phi, em 2015.
• Recebeu uma Bolsa de Doutoramento da Fundação para a Ciência e a Tecnologia, de 2009 a 2013.
• Recebeu a bolsa "University of Southern California Viterbi School of Engineering Dean's Merit Top-off Fellowship", desde 2009 a 2011.
• Distinguido com um Segundo Prémio Universidade Técnica de Lisboa / Santander Totta "Melhores Estudantes da UTL", em 2008, pelo mérito alcançado no contexto da sua formação global, nela salientando as suas vertentes científica, académica, cultural e cívica.
• Galardoado com o Prémio Professor Luís Vidigal 2006 / 2007, pela melhor Tese de Mestrado, cujo tema se enquadre nas áreas científicas da Engenharia Electrotécnica, Informática e Computadores, no Instituto Superior Técnico / Universidade Técnica de Lisboa.
• Premiado com a distinção "Most Valuable Student", em 2006, pela Microsoft Portugal.
• Recebeu, desde Janeiro a Julho de 2006, uma Bolsa de Apoio à Gestão, no âmbito de um projecto de Melhoria de Qualidade do Ensino para o Instituto Superior Técnico, tendo como objectivo o desenvolvimento de software de controlo de maquetas de comboios.
• Diploma de Mérito do Instituto Superior Técnico, em reconhecimento pelo desempenho no ano lectivo 2005 / 2006.
• Prémio da Caixa Geral de Depósitos, correspondente ao ano lectivo de 2005 / 2006.
• Atribuído o 2º Prémio no Concurso Ensino Integrado 2005 / 2006 da Licenciatura em Engenharia de Redes de Comunicação e Informação, pelo projecto de Redes de Acesso e Redes Móveis e Sem Fios.
• Diploma de Mérito do Instituto Superior Técnico, em reconhecimento pelo desempenho no ano lectivo 2004 / 2005.
• Prémio da Caixa Geral de Depósitos, correspondente ao ano lectivo de 2004 / 2005.
• Diploma de Mérito do Instituto Superior Técnico, em reconhecimento pelo desempenho no ano lectivo 2003 / 2004.
• Bolsa de Estudo por Mérito da Universidade Técnica de Lisboa, correspondente ao ano lectivo de 2003 / 2004.
• Diploma de Mérito do Instituto Superior Técnico, em reconhecimento pelo desempenho no ano lectivo 2002 / 2003.
• Bolsa de Estudo por Mérito da Universidade Técnica de Lisboa, correspondente ao ano lectivo de 2002 / 2003.
• Participou na VII Olimpíada Ibero-Americana de Física em 2002, tendo obtido uma Medalha de Bronze.
• Vencedor nas Olimpíadas Nacionais B de Física em 2001.
• Vencedor nas Olimpíadas Regionais B de Física em 2001.

Experiência de Ensino e Tutoria:

• Co-lecionou Projeto em Programação de Sistemas (CS207a) na EPFL, no Semestre da Primavera de 2018.
• É mentor de cinco estudantes na EPFL como parte do Projeto Vigor, desde Outubro de 2016.
• Foi mentor de um estudante de Licenciatura na University of California, Los Angeles, a fazer uma cadeira de pesquisa (estilo Portfólio Pessoal), de Outubro de 2014 a Maio de 2015.
• Foi mentor de um estudante de Licenciatura na University of California, Los Angeles, a fazer uma cadeira de pesquisa (estilo Portfólio Pessoal), de Outubro de 2013 a Junho de 2014.
• Assistente de Ensino na cadeira de Sistema Operativos (CSCI-402) na University of Southern California, no 1º Semestre de 2013.
• Foi mentor de dois estrudantes de mestrado na cadeira de Redes de Computadores (CSCI-551), de Setembro de 2013 a Dezembro de 2013
• Deu duas aulas convidadas na cadeira de Sistemas Operativos (CSCI-402) na University of Southern California, em 2012.
• Foi mentor de três estudantes de Licenciatura ao abrigo do programa REU da NSF (National Science Foundation Research Experiences for Undergraduates - Experiência em Investigação para Licenciandos da Fundação Nacional Americana para a Ciência), em 2010.
• Deu uma aula convidada na cadeira de Redes de Sensors no Instituto Superior Técnico / Universidade Técnica de Lisboa, em 2009.

Línguas:

• Domina fluentemente Inglês escrito e verbal (CEFR C2 / ILR 5).
• Domina fluentemente Português escrito e verbal (CEFR C2 / ILR 5).
• Proficiência intermédia de Francês (CEFR B1 / ILR 2).
• Proficiência intermédia de Espanhol (CEFR B1 / ILR 2).

Outras Habilitações:

• Experiente no desenvolvimento de software para telefones móveis baseados na plataforma Android.
• Experiente na instalação, configuração e administração de sistemas Linux, incluindo as seguintes tecnologias:
  • Virtualização (VirtualBox, KVM, OpenVZ)
  • Gestão de Cloud (OpenStack, MAAS, ProxMox).
  • Voz sobre IP (Asterisk).
  • Redes Virtuais Privadas (OpenVPN).
  • Firewalls (IPTables).
  • Bases de Dados (PostgreSQL, MySQL, SQLite)
  • E-Mail e Groupware (Kolab Server)
  • Servidores Web (Apache, PHP, Perl, CGI)
• Experiente no desenvolvimento de technologias web.
• Experiente no desenvolvimento de software para redes de sensores sem fios, especificamente para os sensores Crossbow MicaZ, utilizando o sistema operativo TinyOS.
• Experiente no desenvolvimento de software para sistemas embebidos, especificamente para processadores ARM (e.g. Atmel AT91M55800A) e AVR (e.g. Atmel AT90S8515, ATmega16, ATmega128)
• Experiente no uso dos ambientes de desenvolvimento integrado ARM Developer Suite (ADS) e IAR Embedded Workbench.
• Experiente no desenho de circuitos impressos (PCBs), utilizando o Altium Designer.

Elementos Adicionais:

• Membro Estudante do Association for Computing Machinery (ACM), desde 2013.
• Membro Estudante do Institute of Electrical and Electronics Engineers (IEEE), desde 2008.
• Tem licença de técnico de rádio amadorismo, nos Estados Unidos da América, desde 2011.
• Foi, no ano lectivo de 2006 / 2007, Representante Aluno do Conselho Pedagógico ao Conselho de Utentes do Centro de Informática do Instituto Superior Técnico.
• Participou, através do Núcleo de Estudantes de Engenharia de Redes de Comunicação e de Informação do Instituto Superior Técnico (NEERCI-IST), na organização do 2º Encontro Nacional de Estudantes de Informática – ENEI 2006.
• Foi, no ano lectivo de 2006 / 2007, Delegado do 5º Ano da LERCI.
• Foi, no ano lectivo de 2005 / 2006, Delegado de Curso e Delegado do 4º Ano da LERCI.
• Foi, no ano lectivo de 2004 / 2005, Delegado de Curso e Delegado do 3º Ano da LERCI.
• Foi, no ano lectivo de 2003 / 2004, Sub-Delegado de Curso e Sub-Delegado do 2º Ano da LERCI.
• Construiu o Portal de Negócios Módulo.
• Construiu a página web original do CS5CEP – Centro Espacial Português (já não disponível).
• Construiu a página web do GEMS - Group of Embedded Networked Systems and Heterogeneous Networks.
• Construiu a página web original do NEERCI-IST - Núcleo de Estudantes de Engenharia de Redes de Comunicação e de Informação do Instituto Superior Técnico (já não disponível).
• Construiu o Portal LERCI, a página web dos Delegados da LERCI.