[ In Memoriam ] O quadro de pessoal docente, administrativo e técnico do DIUM que se mostra abaixo é ordenável e pesquisável. FotoNomeCategoriaGrupo C.P.I&DContactosEspaço Albano José Dias SerranoEsp. de Informática (Grau 3 nível 1)––E-mailExt.: +604487E7-3.14.2 Alberto José Gonçalves Carvalho ProençaProf. CatedráticoEngenharia da ComputaçãoCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604464E7-2.08 Alexandre Júlio Teixeira SantosProf. Associado c/ AgregaçãoRedes e Comunicações por ComputadorCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604474E7-3.21 André Martins PereiraProf. AuxiliarEngenharia da ComputaçãoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-1.19 António Carlos Silva AbelhaProf. AuxiliarInteligência ArtificialCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604453E7-3.07 António Joaquim André EstevesProf. AuxiliarEngenharia da ComputaçãoCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604481E7-3.26 António José Borba Ramires FernandesProf. AuxiliarEngenharia da ComputaçãoCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +605431E7-3.28 António Luís Duarte CostaProf. AuxiliarRedes e Comunicações por ComputadorCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604442E7-3.15 António Luís Pinto Ferreira SousaProf. AuxiliarSistemas DistribuídosCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604449E7-2.16 António Manuel Nestor RibeiroProf. AuxiliarSistemas DistribuídosCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604478E7-2.21 António Pedro Sarmento Coelho Carneiro AragãoEsp. de Informática (Grau 2 nível 1)––E-mailExt.: +604486E7-1.07 Bruno Alexandre Fernandes DiasProf. AuxiliarRedes e Comunicações por ComputadorCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604436E7-3.17 Carla Cecília Ferreira Amado AraújoTécn. Informática (Grau 1 nível 1)––E-mailExt.: +604441E7-1.05 César Analide Freitas Silva Costa RodriguesProf. AuxiliarInteligência ArtificialCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604475E7-3.09 Cristina Paula Sousa Martins FerreiraTécn. Superior––E-mailExt.: +604465E7-2.01 Dalila Alves DurãesProf. AuxiliarInteligência ArtificialCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +510180 Flávio Oliveira SilvaProf. AuxiliarRedes e Comunicações por ComputadorCentro Algoritmi | ORCID | Scopus | DBLPE-mailE7-3.17 Francisco Coelho Soares MouraProf. AssociadoSistemas DistribuídosCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604467E7-2.20 João Alexandre Baptista Vieira SaraivaProf. Associado c/ AgregaçãoLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604433E7-2.23 João Luís Ferreira SobralProf. AuxiliarEngenharia da ComputaçãoCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604482E7-3.24 João Marco Cardoso SilvaProf. AuxiliarSistemas DistribuídosCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.16 João Miguel Lobo FernandesProf. CatedráticoEngenharia da ComputaçãoCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604454E7-2.07 João Tiago Medeiros PauloProf. AuxiliarSistemas DistribuídosCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.16 Joaquim Melo Henriques MacedoProf. AuxiliarRedes e Comunicações por ComputadorCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604431E7-3.23 Jorge Gustavo Pereira Bastos RochaProf. AuxiliarInteligência ArtificialCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604457E7-3.29 Jorge Miguel Matos Sousa PintoProf. Associado c/ AgregaçãoLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604455E7-2.28 José Bernardo Santos Monteiro Vieira BarrosProf. AssociadoLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604450E7-2.27 José Carlos Bacelar Ferreira Junqueira AlmeidaProf. AuxiliarLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604458E7-2.15 José Carlos Leite RamalhoProf. AuxiliarEngenharia e Processamento de LinguagensCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604479E7-3.11 José Francisco Creissac Freitas CamposProf. Associado c/ AgregaçãoLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604447E7-2.25 José João Antunes Guimarães Dias AlmeidaProf. AuxiliarEngenharia e Processamento de LinguagensCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604479E7-3.11 José Manuel Esgalhado ValençaProf. EméritoLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604460E7-2.09 José Manuel Ferreira MachadoProf. Associado c/ AgregaçãoInteligência ArtificialCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604438E7-3.10 José Nuno Fonseca OliveiraProf. CatedráticoLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604462E7-2.05 José Orlando Roque Nascimento PereiraProf. Associado c/ AgregaçãoSistemas DistribuídosCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604449E7-2.16 Luís Manuel Dias Coelho Soares BarbosaProf. CatedráticoLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604463E7-2.29 Luís Paulo Peixoto SantosProf. AuxiliarEngenharia da ComputaçãoCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604439E7-3.30 Manuel Alcino Pereira CunhaProf. Associado Lógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604444E7-2.15 Maria Conceição Sousa BarbosaAss. Técnico––E-mailExt.: +604430E7-2.01 Maria Goreti Dantas PereiraTécn. Superior––E-mailExt.: +604470E7-2.01 Maria Helena Ferreira DiasAss. Técnico––E-mailExt.: +604443E7-2.01 Maria João Gomes FradeProf. AuxiliarLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604445E7-2.15 Maria Solange Pires Ferreira Rito LimaProf. AuxiliarRedes e Comunicações por ComputadorCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604436E7-3.17 Miguel Francisco Almeida Pereira RochaProf. Associado c/ AgregaçãoInteligência ArtificialCentro CEB | ORCID | Scopus | DBLPE-mailExt.: +604469E7-3.14.1 Olga Maria Gomes Martins PachecoProf. AuxiliarLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604445E7-2.26 Orlando Manuel Oliveira BeloProf. Associado c/ AgregaçãoInteligência ArtificialCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604476E7-3.08 Paulo Jorge Freitas Oliveira NovaisProf. CatedráticoInteligência ArtificialCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604437E7-2.10 Paulo Jorge Sousa AzevedoProf. Auxiliar com AgregaçãoSistemas DistribuídosCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604446E7-2.21 Paulo Manuel Martins CarvalhoProf. AssociadoRedes e Comunicações por ComputadorCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604432E7-3.25 Paulo Sérgio Soares AlmeidaProf. Auxiliar com AgregaçãoSistemas DistribuídosCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604451E7-2.22 Pedro Manuel Rangel Santos HenriquesProf. CatedráticoEngenharia e Processamento de LinguagensCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604469E7-3.27 Pedro Nuno Miranda SousaProf. AuxiliarRedes e Comunicações por ComputadorCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604436E7-3.17 Renato Jorge Araújo NevesProf. AuxiliarLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604445E7-2.26 Rui Carlos Mendes OliveiraProf. Associado c/ AgregaçãoSistemas DistribuídosCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604452E7-2.24 Rui Manuel Ribeiro Castro MendesProf. AuxiliarInteligência ArtificialCentro CEB | ORCID | Scopus | DBLPE-mailExt.: +604456E7-3.06 Victor Manuel Rodrigues AlvesProf. AuxiliarInteligência ArtificialCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +604484E7-3.04 Vitor Francisco Mendes Freitas Gomes FonteProf. AuxiliarSistemas DistribuídosCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604485E7-2.16 Ana Luísa Parreira Nunes AlonsoProf. Auxiliar ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.13 André Leite FerreiraProf. Auxiliar ConvidadoCentro | ORCID | Scopus | DBLPE-mail Bruno Filipe Martins FernandesProf. Auxiliar ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Carlos Eduardo Teixeira TavaresProf. Auxiliar ConvidadoLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mail Fábio André Castanheira Luís CoelhoProf. Auxiliar ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.13 Francisco António Ferraz Martins Almeida MaiaProf. Auxiliar ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mail Francisco Nuno Teixeira NevesProf. Auxiliar ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mail Manuel Fernando Silva RodriguesProf. Auxiliar ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Óscar Sílvio Marques Almeida GamaProf. Auxiliar ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Sérgio Manuel Carvalho GonçalvesProf. Auxiliar ConvidadoCentro | ORCID | Scopus | DBLPE-mail Alexandra Francisco Ramôa Costa AlvesAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.17 Ana Isabel Carvalho NeriAss. ConvidadoLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.17 Ana Regina Coelho SousaAss. ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail André Manuel Resende SequeiraAss. ConvidadoLógica e Métodos FormaisCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.17 Bruno Alexandre Taraio Santos AntunesAss. ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Bruno Daniel Mestre Viana RibeiroAss. ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Carlos Peixoto Antunes de CastroAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mailExt.: +604430 Catarina Araújo MachadoAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Cláudia Vanessa Martins BritoAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.12 Cristiana Esteves AraújoAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Cristiana Marisa Pereira NetoAss. ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Daniel Rodrigues Pacheco MurtaAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Diana Lisandra Azevedo FerreiraAss. ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Diogo Afonso Silva CostaAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Diogo Pinto RibeiroAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.12 Emanuel Ribeiro LimaAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Filipa Tinoco FerrazAss. ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Francisco Supino MarcondesAss. ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Inês Lucas Amorim AlvesAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail João Carlos Garcia Cunha BarbosaAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-1.19 João Fernandes PereiraAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail João Manuel Capela Araújo RibeiroAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail José Nuno Castro MacedoAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.17 José Pedro Ribeiro PeixotoAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mail Luís Filipe Costa CunhaAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Luís Manuel Meruje FerreiraAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.12 Manuel José Domingues AlvesAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Manuel Quintas Monteiro BarrosAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.12 Maria José Costa RamosAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604430E7-2.12 Mariana Martins Sá MirandaAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.12 Miguel Sousa BragaAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Nelson Miguel Oliveira EstevãoAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Norihiro YamadaAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.17 Nuno Filipe Pinto FariaAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.12 Paulo Adelino Dias AlmeidaAss. ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Paulo Alexandre Ferreira BarbosaAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mailExt.: +604430 Paulo Jorge Costa Conceição MendesAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Paulo Rafael Costa SousaAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Pedro Jorge Rito LimaAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Pedro José Costa OliveiraAss. ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Pedro Miguel Braga MoreiraAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mail Pedro Miguel Silva Paiva AntónioAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Rafael Braga Gomes CostaAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604430E7-2.13 Ricardo Gonçalves MacedoAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.13 Ricardo Manuel Pereira VilaçaAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-1.19 Rui António Ramada RuaAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailExt.: +604430E7-2.17 Rui António Sabino Castiço SilvaAss. ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Rui Pedro Cunha MonteiroAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mail Sofia Guilherme Rodrigues SantosAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.17 Susana Vitória Sá Silva MarquesAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.12 Tiago João Fernandes BaptistaAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Tiago Manuel Queirós BarataAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mail Tânia Conceição Araújo EstevesAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mailE7-2.12 Vadym Serhiyovych HapanchakAss. ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Vasco António Pinheiro Costa AbelhaAss. ConvidadoCentro Algoritmi | ORCID | Scopus | DBLPE-mail Vinicius Corrêa FerreiraAss. ConvidadoCentro | ORCID | Scopus | DBLPE-mail Xavier Gomes PinhoAss. ConvidadoCentro HASLab | ORCID | Scopus | DBLPE-mail Hugo Daniel Abreu PeixotoInv. AuxiliarCentro Algoritmi | ORCID | Scopus | DBLPE-mailExt.: +510180
Portuguese