PFAI4_3ed

Américo Azevedo é coordenador do CESE - Centro de Engenharia de Sistemas Empresariais, do INESC TEC e Diretor Científico do FABTEC - Laboratório de Processos e Tecnologias para Sistemas Avançados de Produção.

Especialista em Gestão de Operações e em Organização e Gestão de Processos de Negócio, tem sido responsável por variados projetos empresariais (de consultoria e de I&D) de âmbito nacional e internacional. Professor Associado c/ Agregação da FEUP e docente na Porto Business School, onde também desenvolve projetos de consultoria empresarial. No Programa MIT Portugal, tem tido atividade na área EDAM (Engineering Design and Advanced Manufacturing) no âmbito da Gestão de Operações.

A sua atividade docente, desenvolvida em diversos cursos de mestrado e doutoramento da FEUP e de pós-graduação e de formação executiva na PBS (Porto Business School), está centrada fundamentalmente no domínio da Gestão de Operações, Sistemas Avançados de Produção e da Organização e Gestão de Processos de Negócio. 

Publica com regularidade em revistas científias, sendo autor/co-autor em mais de 180 publicações científicas.

Américo Azevedo é Licenciado em Engenharia Electrotécnia e de Computadores (1988), prestou provas de "Aptidão Pedagógica e Capacidade Científica" (1992), é Doutorado em Operações pela Universidade do Porto (2000) e Agregado pela Universidade do Porto (2017).

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.

António Coelho é investigador sénior do INESC TEC, sendo o coordenador da área da Computação Gráfica e Ambientes Virtuais do centro HUMANISE.

Tem participado em diversos projetos de investigação (desde projetos Europeus H2020 a projetos de consultoria especializada com a indústria) e orientação de teses de doutoramento, focados nas áreas Computação Gráfica (Realidade Virtual e Modelação Procedimental), dos Jogos Sérios (Geração Procedimental de Conteúdos, Jogos baseados na Localização e Aprendizagem Baseada em Jogos) e dos Sistemas Geoespaciais (Sistemas baseados na Localização e Bases de Dados Espaciais).

É também Professor Associado com Agregação do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto. Leciona diversas disciplinas nas áreas da Computação Gráfica, das Ciências e Tecnologias da Programação e dos Jogos Digitais. É ainda diretor do Programa Doutoral em Média Digitais na Universidade do Porto e líder académico da aliança europeia de universidades EUGLOH.