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).
Accepted in 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).
- 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).
13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2022).
Teaching
- Spring 2022: Verificação e Validação de Software (Main lecturer)
- Fall 2022: Príncipios de Programação (Main lecturer)
- Previous teaching