|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Agostino CortesiPublisher: Springer Verlag, Singapore Imprint: Springer Nature Edition: 1st ed. 2024 Volume: 141 ISBN: 9789819700400ISBN 10: 981970040 Pages: 162 Publication Date: 14 March 2024 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationAgostino 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 by Springer-Nature. Tab Content 6Author Website:Countries AvailableAll regions |