Diogo Poças

I am an Assistant Professor at the Department of Mathematics of Instituto Superior Técnico, University of Lisbon. I am also an Integrated Member at the LASIGE Research Unit.

My research interests are on theoretical and applied computer science. Recently I have been working on

Session Types: algorithms for type equivalence and type checking.
Algorithmic Game Theory: equilibria computation in games.
Analog Computation: models of computation over the reals or general data spaces.

Short Bio

2024-present: Assistant Professor at the Department of Mathematics of Instituto Superior Técnico, University of Lisbon.
2022-2024: Assistant Professor at the Department of Informatics of the Faculty of Sciences, University of Lisbon.
2020-present: Integrated Member at the LASIGE Research Unit.
2020-2022: Invited Assistant Professor at the Department of Informatics of the Faculty of Sciences, University of Lisbon.
2018-2020: Postdoctoral researcher at the Chair of Operations Research at TU München.
2014-2017: PhD in Mathematics at McMaster University, Hamilton, Canada. Supervisor: Prof. Jeffery Zucker.
2011-2013: MSc in Mathematics and Applications at Instituto Superior Técnico, Lisbon, Portugal. Supervisor: Prof. José Félix Costa.
2008-2011: BSc in Applied Mathematics and Computation at Instituto Superior Técnico, Lisbon, Portugal.

Publications

Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming [doi] [pdf]

With Alcides Fonseca.
Genetic and Evolutionary Computation Conference (GECCO 2023).

A Unifying Approximate Potential for Weighted Congestion Games [doi] [arXiv]

With Yiannis Giannakopoulos.
Theory of Computing Systems.
A previous version appeared in [doi]
13th Symposium on Algorithmic Game Theory (SAGT 2020).

System F^μ_ω with Context-free Session Types [doi] [arXiv]

With Diana Costa, Andreia Mordido and Vasco T. Vasconcelos.
32nd European Symposium on Programming (ESOP 2023).

On the Complexity of Equilibrium Computation in First-Price Auctions [doi] [arXiv]

With Aris Filos-Ratsikas, Yiannis Giannakopoulos, Alexandros Hollender and Philip Lazos.
SIAM Journal on Computing.
A previous version appeared in [doi]
22nd ACM Conference on Economics and Computation (EC 2021).

Robust Revenue Maximization Under Minimal Statistical Information [doi] [arXiv]

With Yiannis Giannakopoulos and Alexandros Tsigonias-Dimitriadis.
ACM Transactions on Economics and Computation.
A previous version appeared in [doi]
16th Conference on Web and Internet Economics (WINE 2020).

Full list of publications

Teaching

Spring 2024: Computação e Programação (Main lecturer)
Spring 2024: Introdução à Otimização (Main lecturer)
Fall 2023: Príncipios de Programação (Main lecturer)
Previous teaching