Identification
            Personal identification
- Full name
- HUGO ALEXANDRE TAVARES MIRANDA
Citation names
- MIRANDA, HUGO
- Hugo Miranda
- H Miranda
Author identifiers
- 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
Email addresses
- hamiranda@ciencias.ulisboa.pt (Professional)
Addresses
- Faculdade de Ciências da Universidade de Lisboa - Departamento de Informática - Edif C6 - Piso 3, 1749-016, LISBOA, Lisboa, Portugal (Professional)
Websites
- ciencias.ulisboa.pt/perfil/hamiranda (Professional)
Knowledge fields
- Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Communication Engineering and Systems
Languages
| Language | Speaking | Reading | Writing | Listening | Peer-review | 
|---|---|---|---|---|---|
| English | Intermediate (B1) | Advanced (C1) | Intermediate (B1) | Intermediate (B1) | 
Education
            | Degree | Classification | |
|---|---|---|
| 2007 Concluded | Informática (Doutoramento) Major in Especialidade: Engenharia Informática Universidade de Lisboa, Portugal "Gossip-based Data Distribution in Mobile Adhoc Networks" (THESIS/DISSERTATION) | Muito bom com distinção e Louvor | 
| 2001 Concluded | Informática (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal "Plataforma de suporte ao desenvolvimento e composição de malhas de protocolos" (THESIS/DISSERTATION) | Muito Bom | 
| 1998 Concluded | Informática (Licenciatura) Universidade de Lisboa Faculdade de Ciências, Portugal | 16 | 
Affiliation
            Teaching in Higher Education
| Category Host institution | Employer | |
|---|---|---|
| 2020/09/08 - Current | Associate Professor (University Teacher) | Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2007/10/10 - 2020/09/07 | Assistant Professor (University Teacher) | Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2001/05/01 - 2007/10/09 | Assistant (University Teacher) | Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 1999/01/01 - 2001/05/01 | Trainee Assistant (University Teacher) | Universidade de Lisboa Faculdade de Ciências, Portugal | 
Positions / Appointments
| Category Host institution | Employer | |
|---|---|---|
| 2018/04 - Current | Organic Unit Sub-director | Universidade de Lisboa Faculdade de Ciências, Portugal | 
| Universidade de Lisboa Faculdade de Ciências, Portugal | ||
| 2008 - 2010 | Manager of Laboratory, Institute, Museum, Centre or Observatory | Universidade de Lisboa Faculdade de Ciências, Portugal | 
| Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal | 
Projects
            Grant
| Designation | Funders | |
|---|---|---|
| 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. | 
Contract
| Designation | Funders | |
|---|---|---|
| 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 Concluded | 
| 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 Concluded | 
| 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 Concluded | 
| 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 | 
Outputs
            Publications
| Book | 
 | 
| Book chapter | 
 | 
| Conference paper | 
 | 
| Journal article | 
 | 
| Report | 
 | 
| Thesis / Dissertation | 
 | 
Other
| Other output | 
 | 
Activities
            Supervision
| Thesis Title Role | Degree Subject (Type) Institution / Organization | |
|---|---|---|
| 2019 - Current | Single Sign-On 2.0: Autenticação Centralizada e Integração com a Chave Móvel Digital Supervisor | Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2015 - Current | Cloudlets: a new programming paradigm for smartphones Supervisor | Informática (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2021 - 2023 | Atualização do Portal de Ciências Supervisor | Mestrado em Engenharia Informática (Master) | 
| 2019 - 2022 | Análise e Correção de Vulnerabilidades na Infraestrutura Tecnológica da FCUL Supervisor | Segurança Informática (Master) 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 Supervisor | Engenharia Informática (Master) 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 Supervisor | Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2018 - 2018 | Controlador de redes em código aberto Supervisor | Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2018 - 2018 | Open source IDS/IPS in a production environment: comparing, assessing and implementing Supervisor | Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2018 - 2018 | Resource savings in delay tolerant networks Supervisor | Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2011 - 2018 | Broadcast cancellation in unstructured networks Co-supervisor | Informática (PhD) Universidade do Minho, Portugal | 
| 2017 - 2017 | Indicadores de segurança em plataformas de monitorização Supervisor | Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2016 - 2016 | "Modelo de Partilha de Estado para Aplicações Distribuídas Móveis" Supervisor | Informática (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2016 - 2016 | Redundant firewalls for web applications Supervisor | Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2016 - 2016 | Revisão da organização da infraestrutura de rede de Ciências Supervisor | Segurança Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2011 - 2015 | Mobile Collaborative Cloudless Computing Supervisor | Informática (PhD) 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 Supervisor | Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2013 - 2013 | Integração de Ubuntu Linux em ambientes Microsoft Co-supervisor | Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2011 - 2012 | Algoritmos de difusão cientes da topologia em redes não infraestruturadas Supervisor | Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2010 - 2012 | FTRMI: Plataforma Transparente Tolerante a Faltas para Invocações Remotas Supervisor | Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2010 - 2011 | Um Algoritmo de Difusão para Redes Sem Fios Não Infraestruturadas Supervisor | Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2009 - 2010 | Disseminação de dados em redes de sensores Supervisor | Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2008 - 2010 | Suporte à Reconfiguração Dinâmica de Composições de Serviços Supervisor | Informática (Master) 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 Supervisor | Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2007 - 2008 | Search Strategies in Unstructured Overlays Supervisor | Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2007 - 2008 | Desactivações de Clientes SONAECOM Fixo Co-supervisor | Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
| 2007 - 2008 | Portagem da aplicação ODS para Linux Co-supervisor | Engenharia Informática (Master) Universidade de Lisboa Faculdade de Ciências, Portugal | 
Ad Hoc journal article review
| Journal title (ISSN) | Publisher | |
|---|---|---|
| 2023 - 2024 | Computer Networks (1389-1286) | Elsevier | 
| 2020 - 2021 | Peer-to-Peer Networking and Applications (1936-6442) | Springer | 
Conference scientific committee
| Conference name | Conference host | |
|---|---|---|
| 2019 - Current | INForum 2019 - Simpósio de Informática | |
| 2018 - Current | INForum 2018 - Simpósio de Informática | |
| 2017 - Current | INForum 2017 - Simpósio de Informática | |
| 2016 - Current | Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016) | |
| 2016 - Current | Second International Conference on Human and Social Analytics (HUSO 2016) | |
| 2016 - Current | INForum 2016 - Simpósio de Informática | |
| 2015 - Current | First International Symposium on Dependability in Sensor, Cloud, and Big Data Systems and Applications (DependSys2015) | |
| 2015 - Current | Ninth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2015) | |
| 2015 - Current | Eighth International Conference on Dependability (DEPEND 2015) | |
| 2015 - Current | INForum 2015 - Simpósio de Informática | |
| 2014 - Current | 5th International Conference on Information Science & Applications (ICISA) | |
| 2014 - Current | 8th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM) | |
| 2014 - Current | First International Conference on Human and Social Analytics (HUSO 2015) | |
| 2014 - Current | INForum 2014 - Simpósio de Informática | |
| 2013 - Current | IEEE Symposium on Wireless Technology & Applications (ISWTA) | |
| 2013 - Current | International Conference on P2P, Parallel, Grid, Cloud and Internet Computing | |
| 2013 - Current | International Conference on IT Convergence and Security (ICITCS 2013) | |
| 2013 - Current | Workshop on Planetary Scale Distributed Systems (W-PSDS) | |
| 2013 - Current | INForum 2013 - Simpósio de Informática | |
| 2012 - Current | 5th Int. Workshop on Architectures, Services, and Applications for the Next Generation Internet (WASA-NGI-V). Collocated with IEEE LCN 2012 | |
| 2012 - Current | INForum 2012 - Simpósio de Informática | |
| 2011 - Current | 4th Int. Workshop on Architectures, Services, and Applications for the Next Generation Internet (WASA-NGI-IV). Collocated with IEEE LCN 2011 | |
| 2011 - Current | INForum 2011 - Simpósio de Informática | |
| 2010 - Current | INForum 2010 - Simpósio de Informática | |
| 2009 - Current | IEEE 69th Vehicular Technology Conference (VTC’09 Spring) | |
| 2009 - Current | INForum 2009 - Simpósio de Informática | |
| 2008 - Current | IEEE 68th Vehicular Technology Conference (VTC’08 Fall) | |
| 2008 - Current | International workshop on Middleware for Network Eccentric & Mobile Applications (MiNEMA’08) | |
| 2007 - Current | 23rd Annual ACM Symposium on Applied Computing | |
| 2006 - Current | 22nd Annual ACM Symposium on Applied Computing | |
| 2005 - Current | 21st Annual ACM Symposium on Applied Computing | 
Journal scientific committee
| Journal title (ISSN) | Publisher | |
|---|---|---|
| 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 | 
