Curriculum Vitae

Luis D. Pedrosa

Índice:


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:


Actividades Profissionais e/ou Científica:


Projectos de Investigação Passados e Correntes:

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


Publicações:

Dissertações:

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

Papers em Congresso:

  1. 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
    Open Website Download PDF Document Download MPEG-4 Video More Information
  2. 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
    Open Website Download PDF Document More Information
  3. 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
    Open Website Download PDF Document More Information
  4. 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
    Open Website Download PDF Document Download MPEG-4 Video More Information
  5. 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
    Open Website Download PDF Document More Information
  6. 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
    Download PDF Document More Information
  7. 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
    Open Website Download PDF Document More Information
  8. 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
    Open Website Download PDF Document Download MPEG-4 Video More Information
  9. 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
    Open Website Download PDF Document More Information
  10. 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
    Download PDF Document More Information
  11. 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
    Open Website Download PDF Document More Information
  12. 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
    Download PDF Document More Information
  13. 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
    Open Website Download PDF Document More Information

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
    Open Website Download PDF Document More Information
  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
    Open Website More Information

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
    Open Website Download PDF Document More Information

Bolsas e Prémios Académicos:

  • 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: