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 welcome 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.
Oct 2, 2017
We are really happy to welcome Gabriela Sampaio, who has joined the group as a PhD student.
Sep 26, 2017
José Fragoso Santos, Philippa Gardner, Petar Maksimović, Daiva Naudžiūnienė and Thomas Wood, have had a paper accepted at this year’s ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018).
Sep 22, 2017
Almost a hundred participants attended this year’s FMATS, held on 21-22 September 2017 at Microsoft Research Cambridge.
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)
Proceedings of 30th IEEE Computer Security Foundations Symposium, (CSF 2017)