Nick Sullivan, Head of Research, interviews heavyweights in computer science research in areas such as Cryptography, Artificial Intelligence, Databases, and more.

This week's guest: Karthikeyan Bhargavan, leader of the Prosecco project at Inria Paris.