THEIA

Sou investigador sénior no Centro de Telecomunicações e Multimédia do INESC TEC, e coordenador da área de tecnologia ótica e eletrónica. Concluí a licenciatura em 2006 e o doutoramento em 2011, ambos em Engenharia Electrotécnica e de Computadores, pela Faculdade de Engenharia da Universidade do Porto. Atualmente sou responsável pela conceção e gestão de projetos de I&D, orientação de alunos de mestrado/doutoramento e bolseiros de investigação, e por promover a valorização de resultados de investigação através de novos contratos com a indústria. Estive envolvido como professor assistente convidado da Universidade do Porto nas disciplinas de engenharia de rádio e microondas e comunicações óticas. Sou autor/co-autor de mais de 50 publicações em conferências e revistas internacionais com revisão por pares, e de uma patente europeia. Já coordenei vários projetos de investigação e participei em vários projetos europeus. Os meus principais interesses de investigação incluem sistemas óticos coerentes, rádio-sobre-fibra, dispositivos rádio/microondas e antennas, transferência de energia sem fios e comunicações subaquáticas.

Sou Professor Associado com Agregação no Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto (DCC-FCUP) e investigador do HASLab/INESC TEC. Os meus interesses de investigação centram-se na Criptografia e Segurança da Informação e na sua intersecção com a Verificação de Programas.

Sou Doutorado em Electrical and Electronic Engineering pela Newcastle University, e licenciado em Engenharia Electrotécnica e de Computadores pela FEUP. Fui investigador visitante na University of Bristol, IT Porto e na École Normale Supérieure. Entre 2023 e 2025 fui investigador convidado no Max Planck Institute for Security and Privacy.

Trabalho no desenvolvimento de software criptográfico confiável há 20 anos, com o objectivo de estabelecer uma ligação entre a segurança teórica e a segurança de aplicações reais. Interesso-me particularmente pela segurança demonstrável e a sua ligação à verificação formal de provas de segurança e de implementações de software criptográfico.

Para informação sobre a minha investigação, projectos e publicações, por favor consultar a minha página no HASLab.

Para informação sobre as minhas actividades de ensino, por favor consultar a minha página institucional na FCUP.

Sou professor associado do Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto e coordenador do LIAAD, Laboratório de Inteligência Artificial e de Apoio à Decisão da UP. O LIAAD é um cenrto do INESC TEC desde 2007. Sou doutor em Ciência da Computação pela U. Porto, MSc. em Fundamentos de Tecnologia de Informação Avançada pelo Imperial College e Lic. Em Matemática Aplicada ramo Ciência de Computadores (U. Porto). Os meus interesses de investigação são Extração de Conhecimento (Data Mining) e Aprendizagem Automática (Machine Learning), em particular regras de associação, text mining e sistemas de recomendação. A minha investigação anterior inclui programação em lógica indutiva e data miing colaborativo. Eu leciono cursos relacionados com programação, processamento de informação, data mining e outras áreas da computação. Enquanto na Faculdade de Economia, onde permaneci de 1996 a 2009, lancei, com outros colegas, o mestrado em Análise de Dados e Sistemas de Apoio à Decisão (MADSAD), que coordenei de 2000 a Abril de 2008. Dirijo projetos em data mining e inteligência na web. Fui diretor do Mestrado em Ciência dos Computadores no DCC-FCUP de junho de 2010 a agosto de 2013. Co-organizei conferências internacionais (ECML / PKD 2015, Discovery Science 2009, ECML / PKDD 05 e EPIA 01), workshops e seminários em data mining e inteligência artificial. Fui Vice-Presidente da APPIA Associação Portuguesa para a Inteligência Artificial.