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 software engineering. His main research interests concern requirement engineering and software verification techniques, with particular emphasis on security applications. He serves as co-editor in chief of the book series "Services and Business Process Reengineering" published by Springer Nature. He has been the adviser of several doctoral and postdoctoral students from Italy and abroad (e.g., India, Cuba, USA) and has published more than 200 papers in high-level international journals and proceedings of international conferences. According to Scopus, his h-index is 23, with more than 2.000 citations. Currently, he holds the chairs of “Software Engineering,” “Program Analysis and Verification,” “Computer Networks and Information Systems” and “Data Programming.”