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
- Optimization and control: algorithms and protocols for networked and multi-agent systems.
- Session Types: algorithms for type equivalence and type checking.
- Algorithmic Game Theory: equilibria computation in games.
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
- Belief-Aware Pivotal Mechanism for DAO Committees
With Nuno Braz and Miguel Correia.
Accepted in 8th International Conference on Advances in Financial Technologies (AFT 2026).
Accepted in 8th International Conference on Advances in Financial Technologies (AFT 2026).
- Dynamics Augmentation for Robust Structural Controllability of Bidirected Networks
With Guilherme Ramos and Sérgio Pequito.
To appear in European Journal of Control.
To appear in European Journal of Control.
- On the NP-Hardness of the Robust Minimal Structural Controllability Problem
With Sérgio Pequito and Guilherme Ramos.
To appear in Automatica.
To appear in Automatica.
- Distributed Graph Augmentation Protocols to Achieve Strong Connectivity in Multi-Agent Networks [doi]
With Guilherme Ramos and Sérgio Pequito.
Automatica.
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).
Theoretical Computer Science.
A previous version appeared in [doi] [arXiv]
32nd European Symposium on Programming (ESOP 2023).
Teaching
- Spring 2026: Introdução à Otimização (Main lecturer)
- Fall 2025: Computabilidade e Complexidade (Main lecturer)
- Previous teaching