???global.info.a_carregar???
Miguel Matos is an assistant professor at Instituto Superior Técnico, the Engineering School of the University of Lisbon, and a Senior Researcher at INESC-ID. His research interests lie in the area of distributed systems, in the subjects of scalability, performance, correctness and systems evaluation. In particular, he is conducting research in blockchain and related problems, Persistent Memory programming models, consistency and scalability in large scale databases, systems evaluation under faults and experimental reproducibility. Miguel has been involved in several EU projects including GORDA, CoherentPaaS, LeanBigData, SafeCloud,Qualichain and the ongoin TrustyFood project where he is the local coordinator. He was also involved in several national projects and he is the Principal Investigator of the ongoing FCT-funded project Ainur, and he was also the PI PI of finished FCT project Angainor and UTAustin-Portugal ACT-PM. He has publications in venues such as SOSP, TPDS, JPDC, Eurosys, DNS, ICDCS, IPDPS, Middleware and SRDS.
Identificação

Identificação pessoal

Nome completo
Miguel Ângelo Marques de Matos

Nomes de citação

  • Matos, Miguel

Identificadores de autor

Ciência ID
CD1F-6851-B224
ORCID iD
0000-0001-6916-2866
Google Scholar ID
https://scholar.google.pt/citations?user=SZ9mR2IAAAAJ
Scopus Author Id
7102510065

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Português (Idioma materno)
Formação
Grau Classificação
2013
Concluído
MAP-i Doctoral Programme in Computer Science (Doutoramento)
Universidade do Minho, Portugal
"Epidemic Algorithms for Large Scale Data Dissemination" (TESE/DISSERTAÇÃO)
Aprovado por unanimidade
2009
Concluído
Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho Escola de Engenharia, Portugal
"Network-Aware Epidemic Broadcast" (TESE/DISSERTAÇÃO)
19
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2016/12/22 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
2013/10/22 - 2016/03/01 Pos-Doc researcher Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2010/04/15 - 2013/10/21 Bolsa de Doutoramento FCT Universidade do Minho, Portugal
2008/10/15 - 2010/04/14 Bolsa de investigação no projecto DC2MS: Dependable Cloud Computing Management Services (HP Labs Innovation Research Award) http://gsd.di.uminho.pt/projects/projects/DC2MS Universidade do Minho, Portugal
Projetos

Bolsa

Designação Financiadores
2008 - 2008 P-SON: Probabilistically-Structured Overlay Networks
info:eu-repo/grantAgreement/FCT/Orçamento de Funcionamento/POSC/60941/PT
Bolseiro de Iniciação Científica

Projeto

Designação Financiadores
2018/06/01 - Atual Angainor:
Investigador responsável
Em curso
2022/07/01 - 2025/07/01 TRUSTyFOOD - Stakeholders-driven pathways for blockchain implementation in the agri-food sector
Local Coordinator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Em curso
2022/01/17 - 2025/01/16 Ainur: Evaluation of crash-consistency guarantees in multi-threaded PM applications
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
2020/10/01 - 2021/09/30 Automating Crash-Consistency Testing for Persistent Memory
UTA-EXPL/CA/0080/2019
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Em curso

Outro

Designação Financiadores
2019 - 2021/12 QualiChain - Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2014 - 2016/12 LeanBigData - Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics
619606
Investigador
Concluído
2013 - 2016/09 CoherentPaaS: A Coherent and Rich PaaS with a Common Programming Model
611068
Investigador
2011 - 2014 Stratus: A Layered Approach to Data Management in the Cloud
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/115570/PT
Investigador
2010 - 2013 CumuloNimbo – High Scalable Transactional Multi-Tier Platform as a Service
FP7-257993
Investigador
2008 - 2008 GORDA: Open Replication of Databases
004758
Bolseiro de Iniciação Científica
Produções

Publicações

Artigo em conferência
  1. João Gonçalves; Miguel Matos; Rodrigo Rodrigues. "Mumak: Efficient and Black-Box Bug Detection for Persistent Memory". 2023.
    10.1145/3552326.3587447
  2. Neiheiser, Ray; Matos, Miguel; Rodrigues, Luís. "Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation". Trabalho apresentado em In Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP)., 2021.
    Aceite para publicação • 10.1145/3477132.3483584
  3. Matos, Miguel. "A Practical Framework for Privacy-Preserving NoSQL Databases". 2017.
    10.1109/SRDS.2017.10
  4. Matos, Miguel. "Brief Announcement: Optimal Address-Oblivious Epidemic Dissemination". 2017.
    10.1145/3087801.3087862
  5. Matos, Miguel. "BuzzPSS: A Dependable and Adaptive Peer Sampling Service". 2016.
    10.1109/LADC.2016.20
  6. Matos, Miguel. "Resource Usage Prediction in Distributed Key-Value Datastores". 2016.
    10.1007/978-3-319-39577-7_12
  7. Matos, Miguel. "TOPiCo: Detecting Most Frequent Items from Multiple High-rate Event Streams". 2015.
    10.1145/2675743.2771838
  8. Matos, Miguel. "Practical Evaluation of Large Scale Applications". 2015.
    10.1007/978-3-319-19129-4_10
  9. Matos, Miguel. "EpTO: An Epidemic Total Order Algorithm for Large-Scale Distributed Systems". 2015.
    10.1145/2814576.2814804
  10. Matos, Miguel. "LAYSTREAM: Composing standard gossip protocols for live video streaming". 2014.
    10.1109/P2P.2014.6934297
  11. Matos, Miguel. "On the Support of Versioning in Distributed Key-Value Stores". 2014.
    10.1109/SRDS.2014.35
  12. Matos, Miguel. "DATAFLASKS: Epidemic Store for Massive Scale Systems". 2014.
    10.1109/SRDS.2014.34
Artigo em revista
  1. Paulo Silva; Miguel Matos; João Barreto. "NimbleChain: Speeding up Cryptocurrencies in General-purpose Permissionless Blockchains". Distributed Ledger Technologies: Research and Practice (2023): https://doi.org/10.1145/3573895.
    10.1145/3573895
  2. Ray Neiheiser; Gustavo Inácio; Luciana Rech; Carlos Montez; Matos, Miguel; Luís Rodrigues. "Practical Limitations of Ethereum’s Layer-2". IEEE Access. 11 (2023): https://ieeexplore.ieee.org/document/10018958.
    Publicado
  3. Cruz, F.; Maia, F.; Matos, M.; Oliveira, R.; Paulo, J.; Pereira, J.; Vilaça, R.. "MeT: Workload aware elasticity for NoSQL". Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys 2013 (2013): 183-196. http://www.scopus.com/inward/record.url?eid=2-s2.0-84877704282&partnerID=MN8TOARS.
    10.1145/2465351.2465370
  4. Matos, M.; Schiavoni, V.; Felber, P.; Oliveira, R.; Rivière, E.. "Lightweight, efficient, robust epidemic dissemination". Journal of Parallel and Distributed Computing 73 7 (2013): 987-999. http://www.scopus.com/inward/record.url?eid=2-s2.0-84879071459&partnerID=MN8TOARS.
    10.1016/j.jpdc.2013.01.018
  5. Matos, M.; Felber, P.; Oliveira, R.; Pereira, J.O.; Rivière, E.. "Scaling up publish/subscribe overlays using interest correlation for link sharing". IEEE Transactions on Parallel and Distributed Systems 24 12 (2013): 2462-2471. http://www.scopus.com/inward/record.url?eid=2-s2.0-84887933774&partnerID=MN8TOARS.
    10.1109/TPDS.2013.6
  6. Maia, F.; Matos, M.; Vilaca, R.; Pereira, J.; Oliveira, R.; Riviere, E.. "DATAFLASKS: An epidemic dependable key-value substrate". Proceedings of the International Conference on Dependable Systems and Networks (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84883427243&partnerID=MN8TOARS.
    10.1109/DSN.2013.6575326
  7. Maia, F.; Matos, M.; Oliveira, R.; Riviere, E.. "Slicing as a distributed systems primitive". Proceedings - 6th Latin-American Symposium on Dependable Computing, LADC 2013 (2013): 124-133. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881162294&partnerID=MN8TOARS.
    10.1109/LADC.2013.21
  8. Beernaert, L.; Gomes, P.; Matos, M.; Vilaça, R.; Oliveira, R.. "Evaluating Cassandra as a manager of large file sets". Proceedings of the 3rd International Workshop on Cloud Data and Platforms, CloudDP 2013 - Co-located with ACM 13th EuroSys (2013): 25-30. http://www.scopus.com/inward/record.url?eid=2-s2.0-84879510525&partnerID=MN8TOARS.
  9. Beernaert, L.; Matos, M.; Vilaça, R.; Oliveira, R.. "Automatic elasticity in OpenStack". Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, SDMCMM 2012 (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84871568937&partnerID=MN8TOARS.
    10.1145/2405186.2405188
  10. Matos, M.; Schiavoni, V.; Felber, P.; Oliveira, R.; Riviere, E.. "BRISA: Combining efficiency and reliability in epidemic data dissemination". Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium, IPDPS 2012 (2012): 983-994. http://www.scopus.com/inward/record.url?eid=2-s2.0-84866844175&partnerID=MN8TOARS.
    10.1109/IPDPS.2012.92
  11. Maia, F.; Matos, M.; Rivière, E.; Oliveira, R.. "Slead: Low-memory, steady distributed systems slicing". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7272 LNCS (2012): 1-15. http://www.scopus.com/inward/record.url?eid=2-s2.0-84862735561&partnerID=MN8TOARS.
    10.1007/978-3-642-30823-9_1
  12. Matos, M.; Vilaça, R.; Pereira, J.; Oliveira, R.. "An epidemic approach to dependable key-value substrates". Proceedings of the International Conference on Dependable Systems and Networks (2011): 105-110. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052168239&partnerID=MN8TOARS.
    10.1109/DSNW.2011.5958794
  13. Maia, F.; Matos, M.; Pereira, J.; Oliveira, R.. "Worldwide consensus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6723 LNCS (2011): 257-269. http://www.scopus.com/inward/record.url?eid=2-s2.0-79959935090&partnerID=MN8TOARS.
    10.1007/978-3-642-21387-8_21
  14. Matos, M.; Sousa, A.; Pereira, J.; Oliveira, R.. "CLON: Overlay network for clouds". Proceedings of the 3rd Workshop on Dependable Distributed Data Management, WDDM'09 (2009): 14-17. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349112969&partnerID=MN8TOARS.
    10.1145/1518691.1518696
  15. Matos, M.; Sousa, A.; Pereira, J.; Oliveira, R.; Deliot, E.; Murray, P.. "CLON: Overlay networks and gossip protocols for cloud environments". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5870 LNCS PART 1 (2009): 549-566. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650707556&partnerID=MN8TOARS.
    10.1007/978-3-642-05148-7_41
  16. Matos, M.; Correia Jr., A.; Pereira, J.; Oliveira, R.. "Serpentine: Adaptive middleware for complex heterogeneous distributed systems". Proceedings of the ACM Symposium on Applied Computing (2008): 2219-2223. http://www.scopus.com/inward/record.url?eid=2-s2.0-56749164047&partnerID=MN8TOARS.
    10.1145/1363686.1364214
Capítulo de livro
  1. Miguel Matos. "Kollaps/Thunderstorm: Reproducible Evaluation of Distributed Systems". In Tutorial Paper, 121-128. Springer International Publishing, 2020.
    10.1007/978-3-030-50323-9_8
  2. Matos, Miguel. "Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions". 3-18. Springer International Publishing, 2017.
    10.1007/978-3-319-59665-5_1
  3. Matos, Miguel. "Implementing a Linear Algebra Approach to Data Processing". 215-222. Springer International Publishing, 2017.
    10.1007/978-3-319-60074-1_9
Atividades

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2024/01/01 - Atual Programming paradigms in emerging persistent memory systems
Orientador
2022/01/01 - Atual Transaction Parallelization and Schedulling
Orientador
2022/01/01 - Atual Towards Reliable Distributed Systems
Orientador
2021/02/01 - Atual Reliability in Persistent Memory Systems
Orientador
PhD Program: Computer Science and Engineering (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/01/01 - 2023/03/25 Scalable and Resilient Byzantine Fault Tolerant Consensus
Coorientador
PhD Program: Computer Science and Engineering (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinções

Prémio

2012 Best Paper Award - "BRISA: Combining Efficiency and Reliability in Epidemic Data Dissemination"
2011 Best Paper Award - "Worldwide Consensus"