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.
Sep 6, 2017
Aug 12, 2017
Philippa Gardner was one of the invited speakers at the this year’s CADE conference, held in Gothenburg, Sweden, on 6-11 August 2017.
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)
Ph.D. Thesis, Imperial College London