Diogo Poças

I am an Assistant Professor at the Department of Mathematics of Instituto Superior Técnico, University of Lisbon. I am also a Researcher at Instituto de Telecomunicações.

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: Researcher at Instituto de Telecomunicações.
2024-present: Assistant Professor at the Department of Mathematics of Instituto Superior Técnico, University of Lisbon.
2020-2024: Integrated Member at the LASIGE Research Unit.
2022-2024: Assistant Professor at the Department of Informatics of the Faculty of Sciences, University of Lisbon.
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

Distributed Graph Augmentation Protocols to Achieve Strong Connectivity in Multi-Agent Networks [doi]

With Guilherme Ramos and Sérgio Pequito.
Automatica.

Polymorphic Higher-order Context-free Session Types [doi]

With Diana Costa, Andreia Mordido and Vasco T. Vasconcelos.
Theoretical Computer Science.
A previous version appeared in [doi] [arXiv]
32nd European Symposium on Programming (ESOP 2023).

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).

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).

Full list of publications

Teaching

Fall 2025: Computabilidade e Complexidade (Main lecturer)
Spring 2025: Computação e Programação (Main lecturer)
Spring 2025: Introdução à Otimização (Main lecturer)
Previous teaching