???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.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Diogo Miguel Ferreira Poças

Nomes de citação

  • Poças, Diogo

Identificadores de autor

Ciência ID
271E-FFD4-FA52
ORCID iD
0000-0002-5474-3614

Endereços de correio eletrónico

  • diogo.pocas@tecnico.ulisboa.pt (Profissional)

Websites

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Formação
Grau Classificação
2013/09/01 - 2017/12/04
Concluído
 Mathematics (Doctor of Philosophy)
McMaster University, Canadá
2011/09/01 - 2013/08/31
Concluído
 Matemática e Aplicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2008/09/01 - 2011/08/31
Concluído
 Matemática Aplicada e Computação (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2018/01/01 - 2020/08/31 Pós-doutorado (Investigação) Technische Universität München Department of Mathematics, Alemanha

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2024/02/15 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/09/01 - 2024/02/14 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
2020/09/01 - 2022/08/31 Professor Auxiliar Convidado (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
Produções

Publicações

Artigo em conferência
  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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em International Conference on Unconventional Computing and Natural Computation, 2013.
    10.1007/978-3-642-39074-6_3
Artigo em revista
  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.
    Publicado • 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
Capítulo de livro
  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.
    Publicado • 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.
    Publicado
Tese / Dissertação
  1. "Analog Computability with Differential Equations". Doutoramento, McMaster University, 2017. http://hdl.handle.net/11375/22593.
  2. "Complexity with costing and stochastic oracles". Mestrado, 2013.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2023/04/25 System F^mu_omega with context-free session types 32nd European Symposium on Programming (ESOP 2023)
(Paris, França)
2022/04/26 The different shades of infinite session types 25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022)
(Munique, Alemanha)
2020/09/17 A Unifying Approximate Potential for Weighted Congestion Games International Symposium on Algorithmic Game Theory
(Augsburg, Alemanha)
2020/07/09 Existence and Complexity of Approximate Equilibria in Weighted Congestion Games International Colloquium on Automata, Languages, and Programming
(Saarbrucken, Alemanha)
2020/01/07 Tracking computability of GPAC-generable functions International Symposium on Logical Foundations of Computer Science
(Deerfield Beach, Estados Unidos)
2018/08/06 Analog computability with differential equations Computability and Complexity in Analysis
(Lake Kochel, Alemanha)
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, Canadá)
2013/07/04 On the power of threshold measurements as oracles International Conference on Unconventional Computing and Natural Computation
(Milão, Itália)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2023 - 2024 Bisimilarity of simple grammars
Orientador
Universidade de Lisboa Faculdade de Ciências, Portugal
2022 - 2024 Implementation of a data lake in a microservices architecture
Orientador
Universidade de Lisboa Faculdade de Ciências, Portugal
2022 - 2023 Recursos públicos descentralizados em Portugal
Orientador
Universidade de Lisboa Faculdade de Ciências, Portugal
2021 - 2023 Cybersecurity Aware Game 2.0
Orientador
Universidade de Lisboa Faculdade de Ciências, Portugal
2021 - 2022 Algorithms for infinite session types
Orientador
Universidade de Lisboa Faculdade de Ciências, Portugal
2020 - 2022 Interfaces em idiomas RightToLeft
Orientador
2020 - 2022 Proof-of-Attention: uma implementação em blockchain segura e confiável?
Orientador
2019 - 2020 A Study of the Hotelling game with capacity constraints
Coorientador
Technische Universität München Department of Mathematics, Alemanha
2019 - 2020 Smoothed complexity on the local max-cut problem
Coorientador
Technische Universität München Department of Mathematics, Alemanha

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2024 - 2024 Programme Committee Member, Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2024) (2024 - 2024)
Oficina (workshop) (Membro da Comissão Organizadora)

Arbitragem científica em conferência

Nome da conferência Local da conferência
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)

Arbitragem científica em revista

Nome da revista (ISSN) Editora
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)

Entrevista / Programa (rádio / tv)

Programa Tema
2022/03/14 - 2022/03/14 Informática em Ciências Dia do pi (divulgação científica)
Distinções

Prémio

2021 Best Early Career Researcher Award
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2015 International Excellence Award
McMaster University, Canadá
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