I am a
Senior Staff Research Engineer within the Security Group at ARM, Cambridge.
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.