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
- 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).
Theoretical Computer Science.
A previous version appeared in [doi] [arXiv]
32nd European Symposium on Programming (ESOP 2023).
With Alcides Fonseca.
Genetic and Evolutionary Computation Conference (GECCO 2023).
Genetic and Evolutionary Computation Conference (GECCO 2023).
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 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).
Teaching
- Fall 2024: Computabilidade e Complexidade (Main lecturer)
- Fall 2024: Elementos de Programação (Lecturer)
- Spring 2024: Computação e Programação (Main lecturer)
- Spring 2024: Introdução à Otimização (Main lecturer)
- Previous teaching