Tommaso Padoan is an assistant professor (RTDa) at the Department of Mathematics and Geosciences of the University of Trieste.
He graduated in Computer Science at the University of Padova in 2016, where he also conducted his PhD studies in the BMCS doctoral program until 2019. He then worked for 3 years as postdoc for the PRIN project ASPRA.
His first research area is formal methods for the analysis and the verification of software, in particular automata and game-theoretic approaches, abstraction and approximation techniques, specification languages and models, especially for concurrent and distributed systems.
Since recently, he is interested in machine learning, with a focus on reinforcement and deep learning, and he am particularly interested in meta learning and formal aspects of machine learning.