Leslie Lamport hosted a chat with him a few years back: https://www.youtube.com/watch?v=wQbFkAkThGk. They spoke about general CS stuff and some aspects of concurrency.