From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement: 12065 - Brossura

Brossura

ISBN 10: 3030411028 ISBN 13: 9783030411022

Casa editrice: Springer, 2020

Riassunto

This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday.<div><p>Chris Hankin is a Fellow&nbsp;of the Institute for Security Science and Technology and a Professor of Computing Science.</p><p>His research is in cyber security, data analytics and semantics-based program analysis.&nbsp;He leads multidisciplinary projects focused on developing advanced visual analytics and providing better decision support to defend against cyber attacks.&nbsp;</p><p>This Festschrift is a collection of scientific contributions related to the topics that&nbsp;have marked the research career of Professor Chris Hankin. The contributions&nbsp;have been written to honour Chris' career and on the occasion of his retirement.</p></div><div><br></div>

Su questo libro

Dalla quarta di copertina

?This Festschrift celebrates Chris Hankin's career and was written on the occasion of his&nbsp;retirement.&nbsp;The volume collects contributions from colleagues, collaborators, and friends on various&nbsp;research themes that have marked Chris’ career, namely Logic and Type Theory for&nbsp;Programming Languages; Program Analysis and Abstract Interpretation ; and&nbsp;Security, Privacy, and Cybersecurity.<div>All these are areas in which Chris Hankin has made several important contributions including&nbsp;advances in semantics-based program analysis,&nbsp;probabilistic abstract interpretation, and cybersecurity for industrial control systems.&nbsp;Chris is also well known for co-authoring the book "Principles of Program Analysis", which&nbsp;is a popular reference for researchers and practitioners on static analysis techniques.</div><div>He has led the Research Institute in Trustworthy Industrial Control Systems (RITICS) and the&nbsp;Institute for Security Science and Technology at Imperial College and contributed to several&nbsp;government initiatives.</div><div><br></div>

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2020
• Lingua: Inglese
• ISBN 10: 3030411028
• ISBN 13: 9783030411022
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 308
• Redattore: Di Pierro Alessandra, Malacaria Pasquale, Nagarajan Rajagopal
• Contatto del produttore: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3,69115 Heidelberg, Germany; Heidelberg; 69115; Germania