Agostino Cortesi, Ph.D., is a full professor of computer science at Ca' Foscari University, Venice, Italy. He has extensive experience in the area of static analysis and software verification techniques, with particular emphasis on security applications. He published more than 200 papers in high level international journals (including ACM TOPLAS, IEEE TSE, SCP, TCS, IEEE RAL, ESWA etc.) and proceedings of international conferences (including ACM POPL, ACM PLDI, IEEE LICS, ICALP, VMCAI, SAS, ACM SAC etc.). His current h-index is 23 according to Scopus, and 32 according to Google Scholar. Currently, he serves as co-Editor in Chief of the book series "Services and Business Process Reengineering" published by Springer-Nature.