Identificação
            Identificação pessoal
- Nome completo
- HUGO ALEXANDRE TAVARES MIRANDA
Nomes de citação
- MIRANDA, HUGO
- Hugo Miranda
- H Miranda
Identificadores de autor
- Ciência ID
- 8B1A-2030-1BD2
- ORCID iD
- 0000-0002-5899-9676
- Google Scholar ID
- hywVBUIAAAAJ
- Researcher Id
- H-5175-2012
- Scopus Author Id
- 23393046200
Endereços de correio eletrónico
- hamiranda@ciencias.ulisboa.pt (Profissional)
Moradas
- Faculdade de Ciências da Universidade de Lisboa - Departamento de Informática - Edif C6 - Piso 3, 1749-016, LISBOA, Lisboa, Portugal (Profissional)
Websites
- ciencias.ulisboa.pt/perfil/hamiranda (Profissional)
Domínios de atuação
- Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Engenharia de Comunicações e de Sistemas
Idiomas
| Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review | 
|---|---|---|---|---|---|
| Inglês | Utilizador independente (B1) | Utilizador proficiente (C1) | Utilizador independente (B1) | Utilizador independente (B1) | 
Formação
            | Grau | Classificação | |
|---|---|---|
| 2007 Concluído | Informática (Doutoramento) Especialização em Especialidade: Engenharia Informática Universidade de Lisboa, Portugal "Gossip-based Data Distribution in Mobile Adhoc Networks" (TESE/DISSERTAÇÃO) | Muito bom com distinção e Louvor | 
| 2001 Concluído | Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal "Plataforma de suporte ao desenvolvimento e composição de malhas de protocolos" (TESE/DISSERTAÇÃO) | Muito Bom | 
| 1998 Concluído | Informática (Licenciatura) Universidade de Lisboa Faculdade de Ciências, Portugal | 16 | 
Percurso profissional
            Docência no Ensino Superior
| Categoria Profissional Instituição de acolhimento | Empregador | |
|---|---|---|
| 2020/09/08 - Atual | Professor Associado (Docente Universitário) | Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2007/10/10 - 2020/09/07 | Professor Auxiliar (Docente Universitário) | Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2001/05/01 - 2007/10/09 | Assistente (Docente Universitário) | Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 1999/01/01 - 2001/05/01 | Assistente Estagiário (Docente Universitário) | Universidade de Lisboa Faculdade de Ciências, Portugal | 
Cargos e Funções
| Categoria Profissional Instituição de acolhimento | Empregador | |
|---|---|---|
| 2018/04 - Atual | Subdirector de Unidade Orgânica | Universidade de Lisboa Faculdade de Ciências, Portugal | 
| Universidade de Lisboa Faculdade de Ciências, Portugal | ||
| 2008 - 2010 | Dirigente de laboratório, instituto, museu, centro ou observatório | Universidade de Lisboa Faculdade de Ciências, Portugal | 
| Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal | 
Projetos
            Bolsa
| Designação | Financiadores | |
|---|---|---|
| 2010/01 - 2013/06 | PATI - IoT-Aware business Processes | Fundação para a Ciência e a Tecnologia, I.P. | 
| 2008/01 - 2010/12 | Redico: Dynamic Reconfiguration of Communication Protocols | Fundação para a Ciência e a Tecnologia, I.P. | 
| 2005/07 - 2008/06 | P-SON: Probabilistically-Structured Overlay Networks | Fundação para a Ciência e a Tecnologia, I.P. | 
| 2005/05 - 2008/06 | MICAS, MIddleware for Context-aware and Adaptive Systems | Fundação para a Ciência e a Tecnologia, I.P. | 
Projeto
| Designação | Financiadores | |
|---|---|---|
| 2018/11/01 - 2019/12/31 | Abyss: Autonomic Byzantine Fault-Tolerant Systems PTDC/EEI-SCR/1741/2014 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal | Fundação para a Ciência e a Tecnologia Concluído | 
| 2016 - 2018 | DoIT - Descentralização e otimização de processos de negócio dependentes da Internet das coisas PTDC/EEI-ESS/5863/2014 | Fundação para a Ciência e a Tecnologia | 
| 2016 - 2018 | Abyss - Sistemas Autonómicos Tolerantes a Falhas Maliciosas PTDC/EEI- ESS/5863/2014 | Fundação para a Ciência e a Tecnologia | 
| 2010/01/01 - 2013/06/30 | PATI - Processos de negócio dependentes da IoT PTDC/EIA-EIA/103751/2008 Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal | Fundação para a Ciência e a Tecnologia Concluído | 
| 2008 - 2008 | P-SON: Redes Sobrepostas com Estrutura Probabilista POSC/EIA/60941/2004 Universidade do Minho, Portugal Universidade do Minho Centro ALGORITMI, Portugal Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal | Fundação para a Ciência e a Tecnologia Concluído | 
| 2001 - 2003 | MOOSCo: Multi-user Object-Oriented environ- ments with Separation of Concerns POSI/CHS/33127/99 | Fundação para a Ciência e a Tecnologia | 
| 2000 - 2002 | GLOBDATA: An Efficient Software Tool for Global Data Access IST-1999-20997 | European Commission | 
| 1999 - 2001 | TOPCOM: Topology-Aware Reliable Group Commu- nication in Geographically Large-Scale Systems PRAXIS/P/EEI/12202/1998 | Fundação para a Ciência e a Tecnologia | 
Produções
            Publicações
| Artigo em conferência | 
 | 
| Artigo em revista | 
 | 
| Capítulo de livro | 
 | 
| Livro | 
 | 
| Relatório | 
 | 
| Tese / Dissertação | 
 | 
Outros
| Outra produção | 
 | 
Atividades
            Orientação
| Título / Tema Papel desempenhado | Curso (Tipo) Instituição / Organização | |
|---|---|---|
| 2019 - Atual | Single Sign-On 2.0: Autenticação Centralizada e Integração com a Chave Móvel Digital Orientador | Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2015 - Atual | Cloudlets: a new programming paradigm for smartphones Orientador | Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2021 - 2023 | Atualização do Portal de Ciências Orientador | Mestrado em Engenharia Informática (Mestrado) | 
| 2019 - 2022 | Análise e Correção de Vulnerabilidades na Infraestrutura Tecnológica da FCUL Orientador | Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2019/09 - 2020/12 | Modelação e implementação de fluxos de trabalho transversais: processos de extensão Orientador | Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2019 - 2019 | Sistema de Analise e Gestão de Vulnerabilidades: Implementação numa Instituição Bancária Orientador | Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2018 - 2018 | Controlador de redes em código aberto Orientador | Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2018 - 2018 | Open source IDS/IPS in a production environment: comparing, assessing and implementing Orientador | Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2018 - 2018 | Resource savings in delay tolerant networks Orientador | Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2011 - 2018 | Broadcast cancellation in unstructured networks Coorientador | Informática (Doutoramento) Universidade do Minho, Portugal | 
| 2017 - 2017 | Indicadores de segurança em plataformas de monitorização Orientador | Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2016 - 2016 | "Modelo de Partilha de Estado para Aplicações Distribuídas Móveis" Orientador | Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2016 - 2016 | Redundant firewalls for web applications Orientador | Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2016 - 2016 | Revisão da organização da infraestrutura de rede de Ciências Orientador | Segurança Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2011 - 2015 | Mobile Collaborative Cloudless Computing Orientador | Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2014 - 2014 | Integração de plataformas de apoio à aprendizagem com os sistemas de informação académicos da Universidade de Lisboa Orientador | Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2013 - 2013 | Integração de Ubuntu Linux em ambientes Microsoft Coorientador | Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2011 - 2012 | Algoritmos de difusão cientes da topologia em redes não infraestruturadas Orientador | Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2010 - 2012 | FTRMI: Plataforma Transparente Tolerante a Faltas para Invocações Remotas Orientador | Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2010 - 2011 | Um Algoritmo de Difusão para Redes Sem Fios Não Infraestruturadas Orientador | Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2009 - 2010 | Disseminação de dados em redes de sensores Orientador | Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2008 - 2010 | Suporte à Reconfiguração Dinâmica de Composições de Serviços Orientador | Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2008 - 2009 | Contribuição dos Algoritmos de Difusão para o Desempenho dos Protocolos de Encaminhamento para Redes Ad Hoc Móveis Orientador | Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2007 - 2008 | Search Strategies in Unstructured Overlays Orientador | Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2007 - 2008 | Desactivações de Clientes SONAECOM Fixo Coorientador | Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2007 - 2008 | Portagem da aplicação ODS para Linux Coorientador | Engenharia Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal | 
Arbitragem científica em conferência
| Nome da conferência | Local da conferência | |
|---|---|---|
| 2019 - Atual | INForum 2019 - Simpósio de Informática | |
| 2018 - Atual | INForum 2018 - Simpósio de Informática | |
| 2017 - Atual | INForum 2017 - Simpósio de Informática | |
| 2016 - Atual | Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016) | |
| 2016 - Atual | Second International Conference on Human and Social Analytics (HUSO 2016) | |
| 2016 - Atual | INForum 2016 - Simpósio de Informática | |
| 2015 - Atual | First International Symposium on Dependability in Sensor, Cloud, and Big Data Systems and Applications (DependSys2015) | |
| 2015 - Atual | Ninth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2015) | |
| 2015 - Atual | Eighth International Conference on Dependability (DEPEND 2015) | |
| 2015 - Atual | INForum 2015 - Simpósio de Informática | |
| 2014 - Atual | 5th International Conference on Information Science & Applications (ICISA) | |
| 2014 - Atual | 8th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM) | |
| 2014 - Atual | First International Conference on Human and Social Analytics (HUSO 2015) | |
| 2014 - Atual | INForum 2014 - Simpósio de Informática | |
| 2013 - Atual | IEEE Symposium on Wireless Technology & Applications (ISWTA) | |
| 2013 - Atual | International Conference on P2P, Parallel, Grid, Cloud and Internet Computing | |
| 2013 - Atual | International Conference on IT Convergence and Security (ICITCS 2013) | |
| 2013 - Atual | Workshop on Planetary Scale Distributed Systems (W-PSDS) | |
| 2013 - Atual | INForum 2013 - Simpósio de Informática | |
| 2012 - Atual | 5th Int. Workshop on Architectures, Services, and Applications for the Next Generation Internet (WASA-NGI-V). Collocated with IEEE LCN 2012 | |
| 2012 - Atual | INForum 2012 - Simpósio de Informática | |
| 2011 - Atual | 4th Int. Workshop on Architectures, Services, and Applications for the Next Generation Internet (WASA-NGI-IV). Collocated with IEEE LCN 2011 | |
| 2011 - Atual | INForum 2011 - Simpósio de Informática | |
| 2010 - Atual | INForum 2010 - Simpósio de Informática | |
| 2009 - Atual | IEEE 69th Vehicular Technology Conference (VTC’09 Spring) | |
| 2009 - Atual | INForum 2009 - Simpósio de Informática | |
| 2008 - Atual | IEEE 68th Vehicular Technology Conference (VTC’08 Fall) | |
| 2008 - Atual | International workshop on Middleware for Network Eccentric & Mobile Applications (MiNEMA’08) | |
| 2007 - Atual | 23rd Annual ACM Symposium on Applied Computing | |
| 2006 - Atual | 22nd Annual ACM Symposium on Applied Computing | |
| 2005 - Atual | 21st Annual ACM Symposium on Applied Computing | 
Arbitragem científica em revista
| Nome da revista (ISSN) | Editora | |
|---|---|---|
| 2019 - 2019 | Ad Hoc Networks (1570-8705) | Elsevier | 
| 2019 - 2019 | IEEE Transactions on Mobile Computing (1558-0660) | Institute of Electrical and Electronics Engineers | 
| 2012 - 2019 | Peer-to-Peer Networking and Applications (1936-6450) | Springer-Verlag | 
| 2018 - 2018 | IEEE Software (1937-4194) | Institute of Electrical and Electronics Engineers | 
| 2017 - 2017 | Computer Networks (1389-1286) | Elsevier | 
| 2015 - 2017 | The Journal of Supercomputing (1573-0484) | Springer-Verlag | 
| 2016 - 2016 | Ad Hoc Networks (1570-8705) | Elsevier | 
| 2014 - 2015 | Simulation Modelling Practice and Theory (1569-190X) | Elsevier | 
| 2014 - 2015 | Computer Networks (1389-1286) | Elsevier | 
| 2014 - 2014 | International Journal of Ad Hoc and Ubiquitous Computing (1743-8233) | Inderscience Enterprises Ltd. | 
| 2013 - 2013 | Wireless Networks (1572-8196) | Springer-Verlag | 
| 2013 - 2013 | JUCS - Journal of Universal Computer Science (0948-6968) | Verlag der Technischen Universitat Graz | 
| 2012 - 2013 | Journal of Systems and Software (0164-1212) | Elsevier | 
| 2012 - 2012 | Journal of Parallel and Distributed Computing (1096-0848) | Elsevier | 
| 2011 - 2011 | European Transactions on Telecommunications (1541-8251) | Wiley (John Wiley & Sons) | 
| 2010 - 2010 | IEEE Transactions on Mobile Computing (1558-0660) | Institute of Electrical and Electronics Engineers | 
| 2010 - 2010 | Computer Communications (0140-3664) | Elsevier | 
| 2010 - 2010 | ETRI Journal (2233-7326) | Electronics and Telecommunications Research Institute | 
| 2009 - 2009 | Future Generation Computer Systems (0167-739X) | Elsevier | 
| 2008 - 2008 | Computer Networks (1389-1286) | Elsevier | 
| 2007 - 2007 | IEEE Transactions on Dependable and Secure Computing (1941-0018) | Institute of Electrical and Electronics Engineers | 
Revisão ad hoc de artigos em revista
| Nome da revista (ISSN) | Editora | |
|---|---|---|
| 2023 - 2024 | Computer Networks (1389-1286) | Elsevier | 
| 2020 - 2021 | Peer-to-Peer Networking and Applications (1936-6442) | Springer | 
