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

• Main Authors: Di Pierro, Alessandra, Malacaria, Pasquale, Nagarajan, Rajagopal
• Format: eBook Book
• Language: English
• Published: Cham Springer Nature 2020; Springer; Springer International Publishing AG; Springer International Publishing
• Edition: 1
• Series: Lecture Notes in Computer Science
• Subjects: Computer Communication Networks; Computer System Implementation; Mathematics; Mathematics and Statistics; Natural Language Processing (NLP); Optimization; Probabilities & applied mathematics; Programming (Mathematics); Software Engineering; Theory of Computation

This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday.Chris Hankin is a Fellow of the Institute for Security Science and Technology and a Professor of Computing Science.His research is in cyber security, data analytics and...