Matthew Purver and Mehrnoosh Sadrzadeh have a fully funded PhD studentship joint between the Theory and Cognitive Science research groups. The project is about theory…
Dino Distefano was interviewed by Wired.it for a news article on Italian startupers in London.
Our group is represented in this year’s ETAPS with five papers: Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig. Software Verification for Weak Memory via…