Identification
            Personal identification
- Full name
 - João Miguel Lourenço Ribeiro
 
Citation names
- Ribeiro, João
 - João L. Ribeiro
 - Joao Ribeiro
 
Author identifiers
- Ciência ID
 - E31B-CAAA-A2CC
 - ORCID iD
 - 0000-0002-9870-0501
 - Google Scholar ID
 - _v-WdQUAAAAJ
 - Researcher Id
 - AAA-1941-2020
 - Scopus Author Id
 - 57191032059
 
Email addresses
- jribeiro@tecnico.ulisboa.pt (Professional)
 
Websites
- https://sites.google.com/site/joaorib94/ (Scholar)
 
Knowledge fields
- Exact Sciences - Computer and Information Sciences
 - Exact Sciences - Mathematics
 
Languages
| Language | Speaking | Reading | Writing | Listening | Peer-review | 
|---|---|---|---|---|---|
| Portuguese (Mother tongue) | |||||
| English | Proficiency (C2) | Proficiency (C2) | Proficiency (C2) | Proficiency (C2) | Proficiency (C2) | 
Education
            | Degree | Classification | |
|---|---|---|
| 
                                  2017/10 - 2021/06 
                                 Concluded 
                               | 
                              Computing (Doctor of Philosophy)
                                  Imperial College London, United Kingdom 
                                 "Coding against synchronisation and related errors" (THESIS/DISSERTATION) 
                               | 
                              |
| 
                                  2015/09 - 2017/07 
                                 Concluded 
                               | 
                              Computer Science (Master)
                                  Major in Theoretical Computer Science 
                                 Eidgenössische Technische Hochschule Zürich, Switzerland 
                                 "Challenges in information-theoretic secret-key agreement" (THESIS/DISSERTATION) 
                               | 
                              5.89/6.00 | 
| 
                                  2012/09 - 2015/07 
                                 Concluded 
                               | 
                              Matemática Aplicada e Computação (Licenciatura)
                                  Universidade de Lisboa Instituto Superior Técnico, Portugal 
                               | 
                              19/20 | 
Affiliation
            Science
| Category Host institution  | 
                              Employer | |
|---|---|---|
| 2024/08/01 - Current | Researcher (Research) | Instituto de Telecomunicações Lisboa, Portugal | 
| 2023/02 - 2024/07 | Researcher (Research) | Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal | 
| 2024/01/30 - 2024/02/29 | Visiting Researcher (Research) | University of California Berkeley Simons Institute for the Theory of Computing, United States | 
| University of California Berkeley Simons Institute for the Theory of Computing, United States | ||
| 2021/08 - 2023/01 | Postdoc (Research) | Carnegie Mellon University, United States | 
| 2020/02 - 2020/03 | Visiting Researcher (Research) | University of Michigan, United States | 
| 2019/07 - 2019/08 | Visiting Researcher (Research) | University of Illinois Urbana-Champaign, United States | 
| 2019/02 - 2019/04 | Visiting Researcher (Research) | Centre for Quantum Technologies, Singapore | 
| 2018/07 - 2018/08 | Visiting Researcher (Research) | Centre for Quantum Technologies, Singapore | 
Teaching in Higher Education
| Category Host institution  | 
                              Employer | |
|---|---|---|
| 2024/08 - Current | Assistant Professor (University Teacher) | Universidade de Lisboa Instituto Superior Técnico, Portugal | 
| 2023/02 - 2024/07 | Assistant Professor (University Teacher) | Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal | 
Projects
            Contract
| Designation | Funders | |
|---|---|---|
| 2023/01/01 - Current | Stateless Distributed Randomness Generation
                                  PR3263 
                                 Co-Principal Investigator (Co-PI)
                                    
                                  
                               | 
                              
                                  Ongoing 
                               | 
                           
| 2025/02/01 - 2026/07/31 | Physical uncloneable functions for quantum secure multi-party computation
                                  2023.14154.PEX 
                                 
                                 Researcher
                                     
                              Instituto de Telecomunicações Lisboa, Portugal 
                                 Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal  | 
                              Fundação para a Ciência e a Tecnologia
                                  Ongoing 
                               | 
                           
Outputs
            Publications
| Conference paper | 
                                 
  | 
                           
| Journal article | 
                                 
  | 
                           
| Thesis / Dissertation | 
                                 
  | 
                           
Activities
            Oral presentation
| Presentation title | Event name Host (Event location)  | 
                           |
|---|---|---|
| 2025/01/15 | Invited talk: Randomness as a computational resource | SPL World Logic Day
                                  Portuguese Logic Society (Lisboa, Portugal) 
                               | 
                           
| 2024/12 | Invited talk: "Noisy" vs. "Bounded" leakage | Portugal Crypto Day 2024 | 
| 2024/11 | Invited talk: "Noisy" vs. "Bounded" leakage | Carnegie Mellon University Cryptography Seminar | 
| 2023/11/03 | Invited Talk: Parameterized hardness of coding and lattice problems | Theory of Computing Seminar
                                  Faculdade de Ciências da Universidade de Lisboa 
                               | 
                           
| 2023/07 | Invited Talk: Public randomness extraction with ephemeral roles and worst-case corruptions | Cryptography seminar
                                  ETH Zurich (Switzerland) 
                               | 
                           
| 2023/05 | Invited Talk: Parameterized hardness of coding and lattice problems | Talks@DCC Seminar
                                  Faculdade de Ciências da Universidade do Porto (Portugal) 
                               | 
                           
| 2022/08 | Invited Talk: Public randomness extraction with ephemeral roles and worst-case corruptions | Indian Institute of Science - Microsoft Research Lecture Series
                                  Indian Institute of Science & Microsoft Research India (India) 
                               | 
                           
| 2022/08 | Public randomness extraction with ephemeral roles and worst-case corruptions | CRYPTO 2022
                                   (United States) 
                               | 
                           
| 2022/06 | The mother of all leakages: How to simulate noisy leakages via bounded leakage (almost) for free | Logic and Computation Seminar
                                  Instituto Superior Técnico (Portugal) 
                               | 
                           
| 2020/08 | Extractor lower bounds, revisited | Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2020) | 
| 2020/05 | How to extract useful randomness from unreliable sources | EUROCRYPT 2020 | 
| 2019/09 | Invited Talk: Coded and uncoded trace reconstruction | Shannon Channel
                                  Rutgers, The State University of New Jersey 
                               | 
                           
| 2019/08 | Coded trace reconstruction | 2019 IEEE Information Theory Workshop (ITW)
                                   (Sweden) 
                               | 
                           
| 2019/07 | Simple codes and sparse recovery with fast decoding | 2019 IEEE International Symposium on Information Theory (ISIT)
                                   (France) 
                               | 
                           
| 2019/02 | Information-theoretic secret-key agreement and classical bound entanglement | Quantum Computation and Information Seminar
                                  Instituto Superior Técnico (Portugal) 
                               | 
                           
| 2018/11 | Information-theoretic secret-key agreement: The asymptotically tight relation between the secret-key rate and the channel quality ratio | Theory of Cryptography Conference 2018 (TCC 2018)
                                   (India) 
                               | 
                           
| 2018/10 | Sharp analytical capacity upper bounds for sticky and related channels | 56th Annual Allerton Conference on Communication, Control, and Computing
                                   (United States) 
                               | 
                           
| 2016/07 | New perspectives on weak oblivious transfer | 2016 IEEE International Symposium on Information Theory (ISIT)
                                   (Spain) 
                               | 
                           
Supervision
| Thesis Title Role  | 
                              Degree Subject (Type) Institution / Organization  | 
                           |
|---|---|---|
| 2023/10 - Current | Parameterized complexity of computational problems on point lattices (1-year long research project in the context of a Novos
                                 Talentos em Matemática [New Talents in Mathematics] fellowship awarded by the Calouste Gulbenkian Foundation)
                                  Supervisor of Mariana Rio Costa 
                               | 
                              
                                  Fundação Calouste Gulbenkian, Portugal 
                               | 
                           
| 2023/03 - Current | Investigating key rotation security in oblivious pseudorandom function protocols
                                  Co-supervisor of Diogo Ramos 
                               | 
                              Engenharia Informática (Master)
                                  Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal 
                               | 
                           
| 2023/09 - 2024 | Algebraic-based cryptography (within a Targeted Research Project funded by NOVA Math)
                                  Co-supervisor of Madalena Ascensão 
                               | 
                              Matemática (Master)
                                  Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal 
                               | 
                           
| 2023/03 - 2024 |  Trace reconstruction and population recovery from trims, mutations, and extensions
                                  Supervisor of Gonçalo Cavaco 
                               | 
                              Engenharia Informática (Master)
                                  Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal 
                               | 
                           
Event organisation
| Event name Type of event (Role)  | 
                              Institution / Organization | |
|---|---|---|
| 2024 - 2024 | Technical Program Committee member for the 5th Conference on Information-Theoretic Cryptography (ITC 2024) (2024 - 2024)
                                  Conference (Member of the Scientific Committee) 
                               | 
                              |
| 2024 - 2024 | Technical Program Committee member for the 24th International Conference on Randomization and Computation (RANDOM 2024) (2024)
                                  Conference (Member of the Scientific Committee) 
                               | 
                              |
| 2023 - 2023 | Technical Program Committee member of the 21st IACR Theory of Cryptography Conference 2023 (TCC 2023) (2023 - 2023)
                                  Conference (Member of the Scientific Committee) 
                               | 
                              |
| 2023 - 2023 | Technical Program Committee member of the 4th Conference on Information-Theoretic Cryptography (ITC 2023) (2023 - 2023)
                                  Conference (Member of the Scientific Committee) 
                               | 
                              
Event participation
| Activity description Type of event  | 
                              Event name Institution / Organization  | 
                           |
|---|---|---|
| 2024/01/30 - 2024/02/29 | Invited long-term participant in the "Error-Correcting Codes: Theory and Practice" research program.
                                  Meeting 
                               | 
                              
Jury of academic degree
| Topic Role  | 
                              Candidate name (Type of degree) Institution / Organization  | 
                           |
|---|---|---|
| 2023/07/17 | Secure Machine Learning via Homomorphic Encryption
                                  (Thesis) Arguer 
                               | 
                              Bernardo Ramalho (Master)
                                  Universidade do Porto Faculdade de Engenharia, Portugal 
                               | 
                           
| 2023/07/06 | Weakly Non-Computable Processes Described by Evolving Recursive Functions
                                  (Thesis) Arguer 
                               | 
                              Henrique Navas (Master)
                                  Universidade de Lisboa Instituto Superior Técnico, Portugal 
                               | 
                           
Ad Hoc journal article review
| Journal title (ISSN) | Publisher | |
|---|---|---|
| 2021 - Current | IEEE Transactions on Communications (0090-6778) | IEEE | 
| 2017 - Current | IEEE International Symposium on Information Theory (ISIT) | |
| 2024 - 2024 | Discrete Applied Mathematics (0166-218X) | Elsevier | 
| 2024 - 2024 | 2024 IEEE International Symposium on Information Theory (ISIT) | |
| 2023 - 2023 | 2023 IEEE International Symposium on Information Theory (ISIT) | |
| 2023 - 2023 | Computability in Europe (CiE) | |
| 2023 - 2023 | IEEE Symposium on Foundations of Computer Science (FOCS) | |
| 2023 - 2023 | 15th Innovations in Theoretical Computer Science Conference (ITCS 2024) | |
| 2023 - 2023 | 56th Annual ACM Symposium on Theory of Computing (STOC 2024) | |
| 2022 - 2022 | EUROCRYPT 2022 | |
| 2022 - 2022 | Annual ACM Symposium on Theory of Computing (STOC 2022) | |
| 2022 - 2022 | 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022) | |
| 2021 - 2021 | EUROCRYPT 2021 | |
| 2021 - 2021 | Annual ACM Symposium on Theory of Computing (STOC 2021) | |
| 2021 - 2021 | IACR Theory of Cryptography Conference (TCC 2021) | |
| 2020 - 2020 | EUROCRYPT 2020 | |
| 2019 - 2019 | EUROCRYPT 2019 | |
| 2018 - 2018 | Annual ACM Symposium on Theory of Computing (STOC 2018) | |
| 2018 - 2018 | IACR Theory of Cryptography Conference (TCC 2018) | 
Conference scientific committee
| Conference name | Conference host | |
|---|---|---|
| 2025/01/01 - 2025/06/01 | IACR Annual International Cryptology Conference - CRYPTO 2025 | |
| 2019 - 2022 | Innovations in Theoretical Computer Science Conference (ITCS) | |
| 2019 - 2022 | IEEE Information Theory Workshop (ITW) | |
| 2020 - 2021 | ACM-SIAM Symposium on Discrete Algorithms (SODA) | |
| 2020 - 2020 | IEEE Symposium on Foundations of Computer Science (FOCS) | |
| 2020 - 2020 | Conference on Information-Theoretic Cryptography (ITC) | |
| 2020 - 2020 | Conference on Security and Cryptography for Networks (SCN) | |
| 2019 - 2019 | IEEE Symposium on Foundations of Computer Science (FOCS) | |
| 2019 - 2019 | IACR Theory of Cryptography Conference (TCC) | 
Course / Discipline taught
| Academic session | Degree Subject (Type) | Institution / Organization | |
|---|---|---|---|
| 2024/03 - 2024/07 | Teoria da Computação | Engenharia Informática (Licenciatura) | Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal | 
| 2023/09 - 2023/12 | Introduction to Programming | Engenharia Informática (Licenciatura) | Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal | 
| 2023/03 - 2023/07 | Theory of Computation | Engenharia Informática (Licenciatura) | Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal | 
| 2020/10 - 2020/12 | Mathematics I | Computing (Bachelor) | Imperial College London, United Kingdom | 
| 2018/10 - 2018/12 | Information & Coding Theory | Advanced Computing (Master) | Imperial College London, United Kingdom | 
| 2018/10 - 2018/12 | Algorithms II | Computing (Bachelor) | Imperial College London, United Kingdom | 
| 2017/10 - 2017/12 | Information & Coding Theory | Advanced Computing (Master) | Imperial College London, United Kingdom | 
| 2016/09 - 2016/12 | Discrete Mathematics | Computer Science (Bachelor) | Eidgenössische Technische Hochschule Zürich, Switzerland | 
| 2015/09 - 2015/12 | Discrete Mathematics | Computer Science (Bachelor) | Eidgenössische Technische Hochschule Zürich, Switzerland | 
Journal scientific committee
| Journal title (ISSN) | Publisher | |
|---|---|---|
| 2019 - Current | IEEE Transactions on Information Theory (0018-9448) | IEEE | 
Other jury / evaluation
| Activity description | Institution / Organization | |
|---|---|---|
| 2023 - Current | Reviewer of project proposals for the Israel Science Foundation (ISF) | |
| 2022/10 - Current | Invited reviewer for AMS Mathematical Reviews | Mathematical Reviews, United States | 
Distinctions
            Award
| 2018 | ETH Medal
                                  Eidgenössische Technische Hochschule Zürich, Switzerland 
                               | 
                           
| 2015 | Professor Jaime Campos Ferreira Prize
                                  Universidade de Lisboa Instituto Superior Técnico, Portugal 
                               | 
                           
| 2015 | Excellence Scholarship and Opportunity Award
                                  Eidgenössische Technische Hochschule Zürich, Switzerland 
                               | 
                           
| 2015 | Diploma of Academic Excellence
                                  Universidade de Lisboa Instituto Superior Técnico, Portugal 
                               | 
                           
Other distinction
| 2014 | New Talents in Mathematics (Novos Talentos em Matemática) Fellowship
                                  Fundação Calouste Gulbenkian, Portugal 
                               | 
                           
| 2013 | New Talents in Mathematics (Novos Talentos em Matemática) Fellowship
                                  Fundação Calouste Gulbenkian, Portugal 
                               | 
                           
