Está aqui

home / /
Voltar ao Topo

DIOGO POÇAS

Contactos

Departamento de Informática

Sala/Gabinete 6.3.14
Ext. Principal 26373
Telefone Direto (+351) 217 500 546
Email dmpocas@ciencias.ulisboa.pt
Página Pessoal
Carreira Docente Universitário
Categoria Professor Auxiliar

Indicadores

Orcid
Scopus
Google Scholar
Currículo Resumido

Diogo Poças did his BSc and MSc in Applied Mathematics at Instituto Superior Técnico, Lisbon. He then moved to Canada where he completed his PhD in Mathematics at McMaster University, Hamilton ON, under the supervision of Prof. Jeffery Zucker. Afterwards he was a postdoctoral researcher at the Operations Research Group in the Technical University of Munich. Currently Diogo Poças is an Invited Assistant Professor at Faculdade de Ciências, Universidade de Lisboa, as well as an Integrated Member of the LASIGE research unit. 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.

Download currículo completo
Publicações selecionadas
  • The Different Shades of Infinite Session Types (with S.J. Gay and V.T. Vasconcelos). 25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022). https://doi.org/10.1007/978-3-030-99253-8_18
  • On the Complexity of Equilibrium Computation in First-Price Auctions (with A. Filos-Ratsikas, Y. Giannakopoulos, A. Hollender and P. Lazos). 22nd ACM Conference on Economics and Computation (EC 2021). https://doi.org/10.1145/3465456.3467627
  • A New Lower Bound for Deterministic Truthful Scheduling (with Y. Giannakopoulos and A. Hammerl). Algorithmica (2021). https://doi.org/10.1007/s00453-021-00847-2
  • Existence and complexity of approximate equilibria in weighted congestion games (with G. Christodoulou, M. Gairing, Y. Giannakopoulos and C. Waldmann). 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). https://doi.org/10.4230/LIPIcs.ICALP.2020.32
  • Approximability in the GPAC (with J. Zucker). Logical Methods in Computer Science (2019). https://doi.org/10.23638/LMCS-15(3:24)2019

Ver todas as Publicações