Diogo Poçasمشاهده پروفایل
استادیار
Diogo Poças serves as Assistant Professor in the Department of Mathematics at Instituto Superior Técnico (University of Lisbon) and Researcher at Instituto de Telecomunicações since 2024. Previously, he held faculty positions at the University of Lisbon's Faculty of Sciences (2020-2024) and conducted postdoctoral research at TU München (2018-2020), demonstrating continuous academic engagement within Portugal's leading technical institution. His academic foundation includes: PhD in Mathematics from McMaster University (2014-2017) supervised by Prof. Jeffery Zucker MSc in Mathematics and Applications from Instituto Superior Técnico (2011-2013) supervised by Prof. José Félix Costa BSc in Applied Mathematics and Computation from Instituto Superior Técnico (2008-2011) Dr. Poças' research program integrates theoretical computer science with practical applications across three interconnected domains: Session Types (developing algorithms for type equivalence and communication safety in concurrent systems), Algorithmic Game Theory (analyzing equilibrium computation complexity in congestion games and auctions), and Analog Computation (modeling continuous-data computation through frameworks like the General Purpose Analog Computer). His work consistently bridges formal methods with real-world computational challenges. His publication record reveals a cohesive research trajectory where session type theory advances directly inform game-theoretic mechanism design. Recent papers demonstrate growing sophistication in handling higher-order polymorphic types while simultaneously addressing fundamental questions in auction revenue maximization and congestion game equilibria, indicating a unique interdisciplinary approach to computational theory. No scientific awards or fellowships are documented in available sources. Dr. Poças has mentored students through teaching assistant roles (2013-2015) and supervised his own MSc thesis on stochastic oracle complexity. Current research funding derives from his affiliations with LASIGE (2020-2024) and Instituto de Telecomunicações, though specific grant mechanisms remain unspecified. He contributes to Portugal's computational research ecosystem through Instituto de Telecomuncações, building on prior work with LASIGE where he developed theoretical frameworks now reflected in his recent publications on session types and game equilibria.





