Identification
Personal identification
- Full name
- Diogo Miguel Ferreira Poças
Citation names
- Poças, Diogo
Author identifiers
- Ciência ID
- 271E-FFD4-FA52
- ORCID iD
- 0000-0002-5474-3614
Email addresses
- diogo.pocas@tecnico.ulisboa.pt (Professional)
Websites
- https://diogopocas1991.gitlab.io (Scholar)
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 | |
---|---|---|
2013/09/01 - 2017/12/04
Concluded
|
Mathematics (Doctor of Philosophy)
McMaster University, Canada
|
|
2011/09/01 - 2013/08/31
Concluded
|
Matemática e Aplicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
|
2008/09/01 - 2011/08/31
Concluded
|
Matemática Aplicada e Computação (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
Affiliation
Science
Category Host institution |
Employer | |
---|---|---|
2018/01/01 - 2020/08/31 | Postdoc (Research) | Technische Universität München Department of Mathematics, Germany |
Teaching in Higher Education
Category Host institution |
Employer | |
---|---|---|
2024/02/15 - Current | Assistant Professor (University Teacher) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
2022/09/01 - 2024/02/14 | Assistant Professor (University Teacher) | Universidade de Lisboa Faculdade de Ciências, Portugal |
2020/09/01 - 2022/08/31 | Invited Assistant Professor (University Teacher) | Universidade de Lisboa Faculdade de Ciências, Portugal |
Outputs
Publications
Book chapter |
|
Conference paper |
|
Journal article |
|
Thesis / Dissertation |
|
Activities
Oral presentation
Presentation title | Event name Host (Event location) |
|
---|---|---|
2023/04/25 | System F^mu_omega with context-free session types | 32nd European Symposium on Programming (ESOP 2023)
(Paris, France)
|
2022/04/26 | The different shades of infinite session types | 25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022)
(Munique, Germany)
|
2020/09/17 | A Unifying Approximate Potential for Weighted Congestion Games | International Symposium on Algorithmic Game Theory
(Augsburg, Germany)
|
2020/07/09 | Existence and Complexity of Approximate Equilibria in Weighted Congestion Games | International Colloquium on Automata, Languages, and Programming
(Saarbrucken, Germany)
|
2020/01/07 | Tracking computability of GPAC-generable functions | International Symposium on Logical Foundations of Computer Science
(Deerfield Beach, United States)
|
2018/08/06 | Analog computability with differential equations | Computability and Complexity in Analysis
(Lake Kochel, Germany)
|
2015/06/08 | Analog networks on function data streams | Computability and Complexity in Analysis
(Faro, Portugal)
|
2015/06/08 | Fixed point techniques in analog systems | AMMCS-CAIMS Congress
(Waterloo, Canada)
|
2013/07/04 | On the power of threshold measurements as oracles | International Conference on Unconventional Computing and Natural Computation
(Milão, Italy)
|
Supervision
Thesis Title Role |
Degree Subject (Type) Institution / Organization |
|
---|---|---|
2023 - 2024 | Bisimilarity of simple grammars
Supervisor
|
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2022 - 2024 | Implementation of a data lake in a microservices architecture
Supervisor
|
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2022 - 2023 | Recursos públicos descentralizados em Portugal
Supervisor
|
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2021 - 2023 | Cybersecurity Aware Game 2.0
Supervisor
|
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2021 - 2022 | Algorithms for infinite session types
Supervisor
|
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2020 - 2022 | Interfaces em idiomas RightToLeft
Supervisor
|
|
2020 - 2022 | Proof-of-Attention: uma implementação em blockchain segura e confiável?
Supervisor
|
|
2019 - 2020 | A Study of the Hotelling game with capacity constraints
Co-supervisor
|
Technische Universität München Department of Mathematics, Germany
|
2019 - 2020 | Smoothed complexity on the local max-cut problem
Co-supervisor
|
Technische Universität München Department of Mathematics, Germany
|
Event organisation
Event name Type of event (Role) |
Institution / Organization | |
---|---|---|
2024 - 2024 | Programme Committee Member, Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2024) (2024 - 2024)
Workshop (Member of the Organising Committee)
|
Conference scientific committee
Conference name | Conference host | |
---|---|---|
2024 - 2024 | International Conference on Randomization and Computation (RANDOM 2024) | |
2023 - 2023 | Computer Science Logic (CSL 2024) | |
2023 - 2023 | Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2023) | |
2022 - 2022 | Computer Science Logic (CSL 2023) | |
2022 - 2022 | International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022) | |
2021 - 2021 | IEEE Symposium on Foundations of Computer Science (FOCS 2021) | |
2021 - 2021 | European Symposium on Programming (ESOP 2021) | |
2020 - 2020 | Symposium on Algorithmic Game Theory (SAGT 2020) | |
2013 - 2013 | International Conference on Unconventional Computation and Natural Computation (UCNC 2013) |
Interview (tv / radio show)
Program | Topic | |
---|---|---|
2022/03/14 - 2022/03/14 | Informática em Ciências | Dia do pi (divulgação científica) |
Journal scientific committee
Journal title (ISSN) | Publisher | |
---|---|---|
2024 - 2024 | Journal of the ACM | |
2023 - 2023 | SIAM Journal on Computing (SICOMP) | |
2023 - 2023 | SIAM Journal on Discrete Mathematics (SIDMA) | |
2021 - 2021 | Transactions on Programming Languages and Systems (TOPLAS) |
Distinctions
Award
2021 | Best Early Career Researcher Award
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
2015 | International Excellence Award
McMaster University, Canada
|
2012 | Bolsa de Mérito
Universidade de Lisboa, Portugal
|
2011 | Prémio Professor Jaime Campos Ferreira
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
|
2011 | Prémio Caixa Geral de Depósitos
Caixa Geral de Depositos, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal |
2009 | Bolsa de Mérito
Universidade de Lisboa, Portugal
|