Speaker

Gennaro Parlato is an associate professor at the University of Southampton, and member of its Academic Centre of Excellence for Cybersecurity Research. He has a broad interest in software verification, and has worked both on theoretical aspects as well as on practical tools for analyzing heaps, concurrency, security policies, etc.

Abstract

TBA