Jan 12, 2018
Jan 6, 2018
Philippa Gardner is currently looking for a PhD student, start date in October 2018, to join the Verified Trustworthy Software Specification Group,
Nov 24, 2017
We are very pleased to have welcomed Siddharth Krishna, from the Courant Institute of Mathematical Sciences, NYU, who visited the group this week to talk about his work on the verification of concurrent data structures.
Nov 15, 2017
Oct 2, 2017
We are really happy to welcome Gabriela Sampaio, who has joined the group as a PhD student.
WWW ’18 Companion: The 2018 Web Conference Companion, April 23–27, 2018, Lyon, France
PACMPL, vol. 2(POPL), pp. 50:1–50:33
Proceedings of 28th International Conference on Concurrency Theory, (Concur 2017)
Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, vol. 375(2104)
Proceedings of 26th Conference on Automated Deduction (CADE 26)