???global.info.a_carregar???
Diogo Poças did his BSc and MSc in Applied Mathematics at Instituto Superior Técnico, Lisbon, from 2008 to 2013. From 2013 to 2017, he lived Canada where he pursued his PhD in Mathematics at McMaster University, Hamilton ON, under the supervision of Prof. Jeffery Zucker. From 2018 to 2020, Diogo Poças was a postdoctoral researcher at the Operations Research Group in the Technical University of Munich. From 2020 to 2024, he was an Assistant Professor at Faculdade de Ciências, Universidade de Lisboa, as well as an Integrated Member of the LASIGE research unit. Since 2024, Diogo Poças is an Assistant Professor at Instituto Superior Técnico, Universidade de Lisboa, as well as a Researcher at Instituto de Telecomunicações. Diogo's research interests are in theoretical and applied computer science. Currently he is working in the areas of algorithmic game theory, analog computing, and session types.
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

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
  1. Diogo Poças; Diana Costa; Andreia Mordido; Vasco T. Vasconcelos. "System $$F^\mu _\omega $$ with Context-free Session Types". 2023.
    10.1007/978-3-031-30044-8_15
  2. Simon J. Gay; Diogo Poças; Vasco T. Vasconcelos. "The Different Shades of Infinite Session Types". 347-367. Springer International Publishing, 2022.
    10.1007/978-3-030-99253-8_18
  3. Yiannis Giannakopoulos; Alexander Hammerl; Diogo Poças. "A New Lower Bound for Deterministic Truthful Scheduling". In Algorithmica, 2895-2913. 2021.
    Published • 10.1007/s00453-021-00847-2
  4. Poças, Diogo. "An Analogue-Digital Model of Computation: Turing Machines with Physical Oracles". 2017.
    10.1007/978-3-319-33924-5_4
  5. Poças, Diogo. "Fixed Point Techniques in Analog Systems". 2016.
    10.1007/978-3-319-30379-6_63
  6. Poças, Diogo. "Testes de Primalidade". In Números, cirurgias e nós de gravata: 10 anos de Seminário Diagonal no IST. Portugal, 2012.
    Published
Conference paper
  1. Alcides Fonseca; Diogo Poças. "Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming". 2023.
    10.1145/3583131.3590507
  2. Costa, D.; Mordido, A.; Poças, D.; Vasconcelos, V.T.. "Higher-order Context-free Session Types in System F". 2022.
    10.4204/EPTCS.356.3
  3. Poças, Diogo. "On the Complexity of Equilibrium Computation in First-Price Auctions". 2021.
    10.1145/3465456.3467627
  4. Yiannis Giannakopoulos; Diogo Poças; Alexandros Tsigonias-Dimitriadis; Poças, Diogo. "Robust Revenue Maximization Under Minimal Statistical Information". Paper presented in International Conference on Web and Internet Economics, 2020.
    10.1007/978-3-030-64946-3_13
  5. Yiannis Giannakopoulos; Diogo Poças. "A Unifying Approximate Potential for Weighted Congestion Games". Paper presented in International Symposium on Algorithmic Game Theory, 2020.
    10.1007/978-3-030-57980-7_7
  6. Giannakopoulos, Yiannis; Hammerl, Alexander; Poças, Diogo. "A New Lower Bound for Deterministic Truthful Scheduling". Paper presented in International Symposium on Algorithmic Game Theory, 2020.
    10.1007/978-3-030-57980-7_15
  7. Poças, Diogo; George Christodoulou; Martin Gairing; Yiannis Giannakopoulos; Clara Waldmann. "Existence and Complexity of Approximate Equilibria in Weighted Congestion Games". Paper presented in International Colloquium on Automata, Languages, and Programming, 2020.
    10.4230/LIPICS.ICALP.2020.32
  8. Diogo Poças; Jeffery Zucker. "Tracking Computability of GPAC-Generable Functions". Paper presented in International Symposium on Logical Foundations of Computer Science, 2020.
    10.1007/978-3-030-36755-8_14
  9. Poças, Diogo. "Register Requirement Minimization of Fixed-Depth Pipelines for Streaming Data Applications". 2019.
    10.1109/socc46988.2019.1570548393
  10. Beggs, Edwin; Costa, José Félix; Poças, Diogo; Tucker, John V.. "On the Power of Threshold Measurements as Oracles". Paper presented in International Conference on Unconventional Computing and Natural Computation, 2013.
    10.1007/978-3-642-39074-6_3
Journal article
  1. "Polymorphic higher-order context-free session types". Theoretical Computer Science 1001 (2024): 114582-114582. http://www.it.pt/Publications/PaperJournal/34375.
    10.1016/j.tcs.2024.114582
  2. Yiannis Giannakopoulos; Diogo Poças. "A Unifying Approximate Potential for Weighted Congestion Games". Theory of Computing Systems (2023): https://doi.org/10.1007/s00224-023-10133-z.
    10.1007/s00224-023-10133-z
  3. Aris Filos-Ratsikas; Yiannis Giannakopoulos; Alexandros Hollender; Philip Lazos; Diogo Poças. "On the Complexity of Equilibrium Computation in First-Price Auctions". SIAM Journal on Computing (2023): https://doi.org/10.1137/21M1435823.
    10.1137/21M1435823
  4. George Christodoulou; Martin Gairing; Yiannis Giannakopoulos; Diogo Poças; Clara Waldmann. "Existence and Complexity of Approximate Equilibria in Weighted Congestion Games". Mathematics of Operations Research (2023): https://doi.org/10.1287/moor.2022.1272.
    10.1287/moor.2022.1272
  5. Yiannis Giannakopoulos; Diogo Poças; Alexandros Tsigonias-Dimitriadis. "Robust Revenue Maximization Under Minimal Statistical Information". ACM Transactions on Economics and Computation (2022): https://doi.org/10.1145/3546606.
    10.1145/3546606
  6. "The Power of Machines That Control Experiments". International Journal of Foundations of Computer Science (2022): 1-28. http://dx.doi.org/10.1142/s0129054122500010.
    10.1142/s0129054122500010
  7. Layla Martin; Stefan Minner; Diogo Poças; Andreas S. Schulz. "The Competitive Pickup and Delivery Orienteering Problem for Balancing Car-Sharing Systems". Transportation Science (2021): https://doi.org/10.1287/trsc.2021.1041.
    10.1287/trsc.2021.1041
  8. Giannakopoulos, Yiannis; Poças, Diogo; Zhu, Keyu. "Optimal Pricing for MHR and ¿-regular Distributions". ACM Transactions on Economics and Computation 9 1 (2021): 1-28. http://dx.doi.org/10.1145/3434423.
    Published • 10.1145/3434423
  9. "Tracking computability of GPAC-generable functions". Journal of Logic and Computation 31 1 (2021): 326-346. http://dx.doi.org/10.1093/logcom/exaa081.
    10.1093/logcom/exaa081
  10. Poças, Diogo. "Approximability in the GPAC". Logical Methods in Computer Science ; Volume 15 (2019): https://lmcs.episciences.org/5727.
    10.23638/LMCS-15(3:24)2019
  11. Poças, Diogo. "Analog networks on function data streams". Computability (2018): http://doi.org/10.3233/COM-170077.
    10.3233/COM-170077
  12. Poças, Diogo. "Transient growth in stochastic Burgers flows". Discrete & Continuous Dynamical Systems - B (2018): http://dx.doi.org/10.3934/dcdsb.2018052.
    10.3934/dcdsb.2018052
  13. Poças, Diogo. "Computations with oracles that measure vanishing quantities". Mathematical Structures in Computer Science (2017): http://dx.doi.org/10.1017/s0960129516000219.
    10.1017/s0960129516000219
  14. Poças, Diogo. "Solving Smullyan Puzzles with Formal Systems". Axiomathes (2017): http://dx.doi.org/10.1007/s10516-017-9339-1.
    10.1007/s10516-017-9339-1
  15. Poças, Diogo; Manzoni, Luca; Porreca, Antonio E.. "Simple Reaction Systems and their Classification". International Journal of Foundations of Computer Science (2014): http://www.worldscientific.com/doi/abs/10.1142/S012905411440005X.
    10.1142/S012905411440005X
  16. Poças, Diogo. "An Analogue-Digital Church-Turing Thesis". International Journal of Foundations of Computer Science (2014): http://www.worldscientific.com/doi/abs/10.1142/S0129054114400012.
    10.1142/S0129054114400012
  17. Beggs, E.; Costa, J. F.; Pocas, D.; Tucker, J. V.. "Oracles that measure thresholds: the Turing machine and the broken balance". Journal of Logic and Computation 23 6 (2013): 1155-1181. http://dx.doi.org/10.1093/logcom/ext047.
    10.1093/logcom/ext047
Thesis / Dissertation
  1. "Analog Computability with Differential Equations". PhD, McMaster University, 2017. http://hdl.handle.net/11375/22593.
  2. "Complexity with costing and stochastic oracles". Master, 2013.
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