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 |