Pessoas – Departamento de Informática

O quadro de pessoal docente, administrativo e técnico do DIUM que se mostra abaixo é ordenável e pesquisável.

Informação: estão em curso 5 concursos documentais de âmbito internacional para recrutamento de professores auxiliares para o DIUM (editais n.º 865/2022, n.º 866/2022, n.º 867/2022, n.º 869/2022 e n.º 881/2022).

Nome	Categoria	Grupo C.P.	I&D	Contactos	Espaço
Albano José Dias Serrano	Esp. de Informática (Grau 3 nível 1)	–	–	E-mail Ext.: +604487	E7-3.14.2
Alberto José Gonçalves Carvalho Proença	Prof. Catedrático	Engenharia da Computação	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604464	E7-2.08
Alexandre Júlio Teixeira Santos	Prof. Associado com Agregação	Redes e Comunicações por Computador	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604474	E7-3.21
António Carlos Silva Abelha	Prof. Auxiliar	Inteligência Artificial	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604453	E7-3.07
António Joaquim André Esteves	Prof. Auxiliar	Engenharia da Computação	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604481	E7-3.26
António José Borba Ramires Fernandes	Prof. Auxiliar	Engenharia da Computação	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +605431	E7-3.28
António Luís Duarte Costa	Prof. Auxiliar	Redes e Comunicações por Computador	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604442	E7-3.15
António Luís Pinto Ferreira Sousa	Prof. Auxiliar	Sistemas Distribuídos	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604449	E7-2.16
António Manuel Nestor Ribeiro	Prof. Auxiliar	Sistemas Distribuídos	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604478	E7-2.21
António Pedro Sarmento Coelho Carneiro Aragão	Esp. de Informática (Grau 2 nível 1)	–	–	E-mail Ext.: +604486	E7-1.07
Bruno Alexandre Fernandes Dias	Prof. Auxiliar	Redes e Comunicações por Computador	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604436	E7-3.17
Carla Cecília Ferreira Amado Araújo	Técn. Informática (Grau 1 nível 1)	–	–	E-mail Ext.: +604441	E7-1.05
César Analide Freitas Silva Costa Rodrigues	Prof. Auxiliar	Inteligência Artificial	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604475	E7-3.09
Cristina Paula Sousa Martins Ferreira	Técn. Superior	–	–	E-mail Ext.: +604465	E7-2.01
Francisco Coelho Soares Moura	Prof. Associado	Sistemas Distribuídos	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604467	E7-2.20
João Alexandre Baptista Vieira Saraiva	Prof. Associado	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604433	E7-2.23
João Luís Ferreira Sobral	Prof. Auxiliar	Engenharia da Computação	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604482	E7-3.24
João Miguel Lobo Fernandes	Prof. Catedrático	Engenharia da Computação	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604454	E7-3.22
Joaquim Melo Henriques Macedo	Prof. Auxiliar	Redes e Comunicações por Computador	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604431	E7-3.23
Jorge Gustavo Pereira Bastos Rocha	Prof. Auxiliar	Inteligência Artificial	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604457	E7-3.29
Jorge Miguel Matos Sousa Pinto	Prof. Associado com Agregação	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604455	E7-2.28
José Bernardo Santos Monteiro Vieira Barros	Prof. Associado	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604450	E7-2.27
José Carlos Bacelar Ferreira Junqueira Almeida	Prof. Auxiliar	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604458	E7-2.15
José Carlos Ferreira Maia Neves	Prof. Emérito	Inteligência Artificial	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604466	E7-2.07
José Carlos Leite Ramalho	Prof. Auxiliar	Engenharia e Processamento de Linguagens	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604479	E7-3.11
José Francisco Creissac Freitas Campos	Prof. Associado com Agregação	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604447	E7-2.25
José João Antunes Guimarães Dias Almeida	Prof. Auxiliar	Engenharia e Processamento de Linguagens	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604479	E7-3.11
José Manuel Esgalhado Valença	Prof. Emérito	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604460	E7-2.09
José Manuel Ferreira Machado	Prof. Associado com Agregação	Inteligência Artificial	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604438	E7-3.10
José Nuno Fonseca Oliveira	Prof. Catedrático	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604462	E7-2.05
José Orlando Roque Nascimento Pereira	Prof. Associado com Agregação	Sistemas Distribuídos	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604449	E7-2.16
Luís Manuel Dias Coelho Soares Barbosa	Prof. Catedrático	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604463	E7-2.29
Luís Paulo Peixoto Santos	Prof. Auxiliar	Engenharia da Computação	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604439	E7-3.30
Manuel Alcino Pereira Cunha	Prof. Auxiliar	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604444	E7-2.15
Maria Conceição Sousa Barbosa	Ass. Técnico	–	–	E-mail Ext.: +604430	E7-2.01
Maria Goreti Dantas Pereira	Técn. Superior	–	–	E-mail Ext.: +604470	E7-2.01
Maria Helena Ferreira Dias	Ass. Técnico	–	–	E-mail Ext.: +604443	E7-2.01
Maria João Gomes Frade	Prof. Auxiliar	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604445	E7-2.15
Maria Solange Pires Ferreira Rito Lima	Prof. Auxiliar	Redes e Comunicações por Computador	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604436	E7-3.17
Miguel Francisco Almeida Pereira Rocha	Prof. Associado com Agregação	Inteligência Artificial	Centro CEB \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604469	E7-3.14.1
Olga Maria Gomes Martins Pacheco	Prof. Auxiliar	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604445	E7-2.26
Orlando Manuel Oliveira Belo	Prof. Associado com Agregação	Inteligência Artificial	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604476	E7-3.08
Paulo Jorge Freitas Oliveira Novais	Prof. Catedrático	Inteligência Artificial	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604437	E7-2.10
Paulo Jorge Sousa Azevedo	Prof. Auxiliar com Agregação	Sistemas Distribuídos	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604446	E7-2.21
Paulo Manuel Martins Carvalho	Prof. Associado	Redes e Comunicações por Computador	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604432	E7-3.25
Paulo Sérgio Soares Almeida	Prof. Auxiliar	Sistemas Distribuídos	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604451	E7-2.22
Pedro Manuel Rangel Santos Henriques	Prof. Catedrático	Engenharia e Processamento de Linguagens	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604469	E7-3.27
Pedro Nuno Miranda Sousa	Prof. Auxiliar	Redes e Comunicações por Computador	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604436	E7-3.17
Renato Jorge Araújo Neves	Prof. Auxiliar	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604445	E7-2.26
Rui Carlos Mendes Oliveira	Prof. Associado com Agregação	Sistemas Distribuídos	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604452	E7-2.24
Rui Manuel Ribeiro Castro Mendes	Prof. Auxiliar	Inteligência Artificial	Centro CEB \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604456	E7-3.06
Vitor Francisco Mendes Freitas Gomes Fonte	Prof. Auxiliar	Sistemas Distribuídos	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604485	E7-2.16
Vítor Manuel Rodrigues Alves	Prof. Auxiliar	Inteligência Artificial	Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604484	E7-3.04
Ana Isabel Carvalho Neri	Ass. Convidado	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-1.07
Ana Luísa Parreira Nunes Alonso	Prof. Auxiliar Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-2.12
Ana Regina Coelho Sousa	Ass. Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
André Leite Ferreira	Prof. Auxiliar Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
André Manuel Resende Sequeira	Ass. Convidado	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail
André Martins Pereira	Prof. Auxiliar Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-1.19
Bruno Alexandre Taraio Santos Antunes	Ass. Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Bruno Daniel Mestre Viana Ribeiro	Ass. Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Bruno Filipe Martins Fernandes	Prof. Auxiliar Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Carlos Eduardo Teixeira Tavares	Prof. Auxiliar Convidado	Lógica e Métodos Formais	Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail
Carlos Faria Aquino Brito	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Catarina Araújo Machado	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Cláudia Vanessa Martins Brito	Ass. Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail
Cristiana Esteves Araújo	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Cristiana Marisa Pereira Neto	Ass. Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Daniel Rodrigues Pacheco Murta	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Daniela Sofia Rijo Oliveira	Prof. Auxiliar Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Diana Lisandra Azevedo Ferreira	Ass. Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Eduardo Lourenço Conceição	Ass. Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-2.12
Emanuel Ribeiro Lima	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Fábio André Castanheira Luís Coelho	Prof. Auxiliar Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-2.12
Fernando João Pereira Cruz	Ass. Convidado		Centro CEB \| ORCID \| Scopus \| DBLP	E-mail Ext.: +604421
Filipa Tinoco Ferraz	Ass. Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Filipe Manuel Carvalho Rodrigues Bravo Gonçalves	Ass. Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Francisco António Ferraz Martins Almeida Maia	Prof. Auxiliar Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail
Francisco José Torres Ribeiro	Ass. Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-2.13
Francisco Nuno Teixeira Neves	Prof. Auxiliar Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail
Francisco Supino Marcondes	Ass. Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Inês Lucas Amorim Alves	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
João Cunha Coelho	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
João Fernandes Pereira	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
João Marco Cardoso Silva	Prof. Auxiliar Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-2.12
João Tiago Medeiros Paulo	Prof. Auxiliar Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-2.12
José Miguel Paiva Proença	Prof. Auxiliar Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
José Nuno Castro Macedo	Ass. Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-2.13
Leandro Rafael Moreira Gomes	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Lisandra Maria Pereira Silva	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Luís Alberto Oliveira Rocha Esquível Costa	Ass. Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail
Luís Filipe Costa Cunha	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Luís Manuel Meruje Ferreira	Ass. Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-2.12
Manuel Fernando Silva Rodrigues	Prof. Auxiliar Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Manuel José Domingues Alves	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Manuel Quintas Monteiro Barros	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Nelson Miguel Oliveira Estevão	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Nuno Filipe Pinto Faria	Ass. Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-2.12
Óscar Rafael Silva Ferreira Ribeiro	Prof. Auxiliar Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Óscar Sílvio Marques Almeida Gama	Prof. Auxiliar Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Paulo Adelino Dias Almeida	Ass. Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Paulo Jorge Costa Conceição Mendes	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Paulo Rafael Costa Sousa	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Pedro Jorge Rito Lima	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Pedro José Costa Oliveira	Ass. Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Pedro Miguel Silva Paiva António	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Pedro Rafael Paiva Moura	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Ricardo Alexandre Gonçalves Carotta Martins	Prof. Auxiliar Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Ricardo Gonçalves Macedo	Ass. Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-2.12
Rui António Sabino Castiço Silva	Ass. Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Sérgio Manuel Carvalho Gonçalves	Prof. Auxiliar Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Sofia Guilherme Rodrigues Santos	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Tiago João Fernandes Baptista	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail
Tânia Conceição Araújo Esteves	Ass. Convidado		Centro HASLab \| ORCID \| Scopus \| DBLP	E-mail	E7-2.12
Vadym Serhiyovych Hapanchak	Ass. Convidado		Centro Algoritmi \| ORCID \| Scopus \| DBLP	E-mail
Xavier Gomes Pinho	Ass. Convidado		Centro \| ORCID \| Scopus \| DBLP	E-mail