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 |