I am a Senior Formal Verification Researcher within the Security and Cryptography Group at ARM, Cambridge.
Before moving to ARM, I was a postdoc working with Peter Sewell and his team, in the Computer Laboratory at the University of Cambridge.
Prior to Cambridge I had a postdoc position in the Department of Computer Science at the University of Bologna with Claudio Sacerdoti Coen on verified C compilers.
Prior to my move to Italy, I was a PhD student in the Dependable Systems Group of the Department of Mathematical and Computer Sciences at Heriot-Watt University, Edinburgh. There, I studied nominal techniques under the supervision of Dr. Murdoch J. Gabbay and Prof. Phil W. Trinder.
You can contact me via e-mail at <firstname>.p.<lastname>@gmail.com.