Researchers

I am a researcher in the Programming Principles and Tools (PPT) group at Microsoft Research Cambridge. I completed my PhD at Inria Paris-Rocquencourt under the direction of Karthikeyan Bhargavan in team Prosecco (Programming Securely with Cryptography).