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
|
Outputs
Publications
Conference paper |
|
Journal article |
|
Thesis / Dissertation |
|
Activities
Oral presentation
Presentation title | Event name Host (Event location) |
|
---|---|---|
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 | |
---|---|---|
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
|