O paper sobre o projeto Vigor foi aceite na SOSP'19 e recebeu um crachá pela reproducibilidade!

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:


Ficha Curricular:

Doutoramento em Engenharia Informática
Ano LectivoSemestreDisciplina
2009OutonoCSCI-551: Redes de Computadores
2009OutonoCSCI-585: Sistemas de Base de Dados
2009OutonoCSCI-597: Seminários de Investigação em Engenharia Informática
2010PrimaveraCSCI-597: Seminários de Investigação em Engenharia Informática
2010PrimaveraCSCI-670: Análise Avançada de Algoritmos
2010PrimaveraCSCI-599: Novas Tendências em Computação Móvel e em Núvem
2010OutonoCSCI-599: Análise de Programas e Teste de Software
2010OutonoCSCI-580: Gráphicos 3D e Renderização
2011PrimaveraCSCI-561: Fundamentos da Inteligência Artificial
Mestrado Bolonha em Engenharia de Redes de Comunicações
Ano LectivoSemestreDisciplinaAvaliação Final
2004/20051Sistemas Embebidos20
2005/20061Portfólio Pessoal IIIAprovado
2005/20061Redes de Acesso18
2005/20061Redes Móveis e sem Fios17
2005/20061Sistemas de Telecomunicações18
2005/20062Comunicação Áudio e Vídeo18
2005/20062Planeamento e Projecto de Redes17
2005/20062Portfólio Pessoal IVAprovado
2005/20062Segurança em Redes19
2005/20062Software de Telecomunicações18
2006/20071Centros de Dados17
2006/20071Dissertação/Projecto em Engenharia de Redes e Comunicações19
2006/20071Portfólio Pessoal VAprovado
2006/20072Medição e Caracterização da Internet18
2006/20072Portfólio Pessoal VIAprovado
2006/20072Redes de Sensores19
Licenciatura Bolonha em Ciências de Engenharia - Engenharia de Redes de Comunicações
Ano LectivoSemestreDisciplinaAvaliação Final
2002/20031Álgebra Linear19
2002/20031Análise Matemática I17
2002/20031Introdução à Programação19
2002/20031Sistemas Digitais18
2002/20031Teoria da Computação19
2002/20032Algoritmos e Estrutura de Dados19
2002/20032Análise Matemática II18
2002/20032Arquitectura de Computadores19
2002/20032Física I - Curso Informática19
2002/20032Matemática Computacional18
2003/20041Análise Matemática III17
2003/20041Física II19
2003/20041Programação com Objectos19
2003/20041Redes de Computadores I19
2003/20041Sistemas Operativos18
2003/20042Análise Matemática IV17
2003/20042Computação Gráfica19
2003/20042Probabilidades e Estatística16
2003/20042Redes de Computadores II19
2003/20042Sistemas Distribuídos16
2004/20051Bases de Dados20
2004/20051Portfólio Pessoal IAprovado
2004/20051Sinais e Sistemas19
2004/20051Teoria dos Circuitos e Fundamentos de Electrónica19
2004/20052Electrónica Geral19
2004/20052Fundamentos de Telecomunicações17
2004/20052Portfólio Pessoal IIAprovado
2004/20052Propagação e Antenas17
2004/20052Redes com Integração de Serviços18
2005/20061Gestão de Redes e Sistemas Distribuídos19
2006/20071Gestão15