His research interests focus on formal verification of security properties (e.g., for cryptographic protocols, mobile apps, web applications, and smart contracts) and on privacy-enhancing technologies (e.g., for cryptocurrencies, cloud services, and analytics).
Matteo is Professor at the Institute of Logic and Computation at the TU Wien and head of the Security and Privacy Group.
He studied Computer Science at the University of Venice (Italy), where he received the Laurea in 2002 and the Ph.D. in 2006. Between 2006 and 2017 he worked at Saarland University, first as research group leader and then as associate professor. In 2017, he joined TU Vienna as full professor and head of the Security and Privacy group. He is holder of a DFG Emmy Noether fellowship (2009) and an ERC Consolidator Grant (2018).
For more information, please see: https://secpriv.tuwien.ac.at/group/team/univ_prof_matteo_maffei/