Curriculum Vitae

Miguel Filipe Leito Pardal

Data de Nascimento: 18 de Novembro de 1977
Correio Eletrnico: miguel.pardal@outlook.com
Pgina Web: http://web.tecnico.ulisboa.pt/miguel.pardal
Twitter: @MiguelPardal
Telefone Mvel: +351 919 473 933
Residncia: Lisboa, Portugal

Doutor e Mestre em Engenharia Informtica e de Computadores.

Docente e Investigador Universitrio desde 2002.

Investigao actual: Segurana, Internet das Coisas, Sistemas Empresariais.

Experincia de Consultoria em Banca e Seguros.

Domnio abrangente de ferramentas de especificao e de desenvolvimento.

Experincia profissional
Desde Junho 2014
Professor Auxiliar do Instituto Superior Tcnico, Universidade de Lisboa

Outubro 2002 a Junho 2014

Assistente do Instituto Superior Tcnico

Setembro 2000 a Setembro 2002

Consultor de Sistemas de Informao na Unisys Portugal

Formao acadmica
Junho 2014
Doutoramento em Engenharia Informtica e de Computadores
Instituto Superior Tcnico, Universidade de Lisboa
Descoberta de dados RFID de forma escalvel e segura

Setembro 2006
Mestrado em Engenharia Informtica e de Computadores
Instituto Superior Tcnico, Universidade Tcnica de Lisboa

Julho 2000
Licenciatura pr-Bolonha em Engenharia Informtica e de Computadores

Honras profissionais
Docente Excelente em Sistemas Distribudos 2012-2013,
Licenciatura em Engenharia Informtica e de Computadores, Tcnico Lisboa

Melhor estgio Informtica 2003-2004 Ordem dos Engenheiros

Publicaes selecionadas
Abril 20123
Expressive RFID data access policies for the Pharmaceuticals supply chain
c/ Mark Harrison, Sanjay Sarma e Jos Alves Marques
IEEE International Conference on RFID 2013, Orlando, FL, EUA

Abril 2012
Assessment of Visibility Restriction Mechanisms for RFID Discovery Services
c/ Mark Harrison e Jos Alves Marques
IEEE International Conference on RFID 2012, Orlando, FL, EUA

Junho 2008
Customizing Web Services with Extensions in the STEP Framework
c/ Srgio Fernandes, Jorge Martins e Joana Paulo Pardal
International Journal of Web Services Practices (IJWSP) 2008, Volume 3, Issue 1,
Computer Science Press, Seoul, Korea

Projetos selecionados
Desde Outubro 2012
GS1 Event-based Traceability standard workgroup

Abril 2011 a Julho 2012

GS1 RFID Discovery Services standard workgroup

Janeiro 2002 a Setembro 2002

Aplicao de Caixa da Companhia de Seguros Tranquilidade
Participao em projecto Unisys de migrao tecnolgica para plataforma Web

Setembro 2000 at Maio 2001

e-Banking Empresas do Grupo Caixa Geral de Depsitos
Participao em projecto da Unisys em parceria com a Altitude Software

Associaes profissionais
Membro efectivo da Ordem dos Engenheiros N 41787
Membro do IEEE N 80744621
Membro da ACM N 7522675

Outras qualificaes
Socorrista (Curso Europeu de Primeiros Socorros), Cruz Vermelha Portuguesa
Fluente em Ingls (TOEFL iBT 118/120).
Conhecimentos de Espanhol, Italiano e Francs.

C.V. de Miguel Filipe Leito Pardal Pgina 2 de 2