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.

Simple Grammar Bisimilarity, with an Application to Session Type Equivalence [doi]

With Gil Silva and Vasco T. Vasconcelos.
Logical Methods in Computer Science.

With Nuno Braz and Miguel Correia.
8th International Conference on Advances in Financial Technologies (AFT 2026).

Dynamics Augmentation for Robust Structural Controllability of Bidirected Networks [doi]

With Guilherme Ramos and Sérgio Pequito.
European Journal of Control.

On the NP-Hardness of the Robust Minimal Structural Controllability Problem [doi]

With Sérgio Pequito and Guilherme Ramos.
Automatica.

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

With Guilherme Ramos and Sérgio Pequito.
Automatica.