Books By Agostino Cortesi - Author

Agostino Cortesi, Ph.D., is a full professor of Computer Science at Ca' Foscari University, Venice, Italy. He has held the position of visiting professor at several universities and research centers, including Ecole Normale Supérieure Paris, Ecole Polytechnique Palaiseau, IBM T.J.Watson Research Center, and University of Calcutta. His main research interests concern software engineering and static analysis techniques, with particular emphasis on security issues. He has also investigated the impact of semantics-based approaches in different applicative scenarios (watermarking, relational databases, robotics, etc.). He published more than 150 papers in high-level international journals (including ACM TOPLAS and IEEE TSE) and proceedings of international conferences (including ACM POPL, ACM PLDI, and IEEE LICS). His current h-index is 23 according to Scopus and 31 according to Google Scholar. Currently, he serves as a co-editor-in-chief of the book series "Services and Business ProcessReengineering" published