Yes, I believe or they met at the Warwick university.

edit: with Kode9 too, https://mitpress.mit.edu/contributors/steve-goodman