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
With Yiannis Giannakopoulos.
Theory of Computing Systems.
A previous version appeared in [doi]
13th Symposium on Algorithmic Game Theory (SAGT 2020).
Theory of Computing Systems.
A previous version appeared in [doi]
13th Symposium on Algorithmic Game Theory (SAGT 2020).
With Diana Costa, Andreia Mordido and Vasco T. Vasconcelos.
32nd European Symposium on Programming (ESOP 2023).
32nd European Symposium on Programming (ESOP 2023).
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).
SIAM Journal on Computing.
A previous version appeared in [doi]
22nd ACM Conference on Economics and Computation (EC 2021).
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).
ACM Transactions on Economics and Computation.
A previous version appeared in [doi]
16th Conference on Web and Internet Economics (WINE 2020).
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).
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).
Teaching
- Spring 2023: Verificação e Validação de Software (Main lecturer)
- Fall 2022: Príncipios de Programação (Main lecturer)
- Previous teaching