Apr 23, 2018
We are very pleased to welcome Felix Stutz, an MSc student at the International Max Planck Research School for Computer Science, who is due to spend five months with the group, working with Emanuele D’Osualdo on Ideal completions for Verification of Cryptographic Protocols.
Apr 18, 2018
A paper co-authored by current and former researchers of the group has just been publised. A second paper, also collaborative work with current and former researchers has also just been accepted to ECOOP 18.
Mar 19, 2018
Mar 1, 2018
Feb 14, 2018
Dr Justin Hsu of University College of London visited the group this week to give a talk about probabilistic coupling: “From Couplings to Probabilistic Relational Program Logics”.
Journal of Logical and Algebraic Methods in Programming, vol. 98, pp. 1–25
WWW ’18 Companion: The 2018 Web Conference Companion, April 23–27, 2018, Lyon, France
PACMPL, vol. 2(POPL), pp. 50:1–50:33
Ph.D. Thesis, Imperial College London
Proceedings of 28th International Conference on Concurrency Theory, (Concur 2017)