Diogo Poças

I am an Assistant Professor at the Department of Informatics of the Faculty of Sciences, 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

2022-present: 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

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

With Diana Costa, Andreia Mordido and Vasco T. Vasconcelos.
Accepted in 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).

Existence and complexity of approximate equilibria in weighted congestion games [doi] [arXiv]

With George Christodoulou, Martin Gairing, Yiannis Giannakopoulos and Clara Waldmann.
Mathematics of Operations Research.
A previous version appeared in [doi] [talk]
47th International Colloquium on Automata, Languages, and Programming (ICALP 2020).
My talk is available on YouTube (click the above link).

Higher-order Context-free Session Types in System F [doi]

With Diana Costa, Andreia Mordido and Vasco T. Vasconcelos.
13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2022).

Full list of publications

Teaching

Spring 2022: Verificação e Validação de Software (Main lecturer)
Fall 2022: Príncipios de Programação (Main lecturer)
Previous teaching