Cambridge, United Kingdom
Member for 11 years, 2 months
Senior Formal Verification Reasearcher at Arm Research, Cambridge. Previously a postdoc at the University of Cambridge and the University of Bologna.
BadgesView all badges
This user hasn’t posted yet.
Top network postsView all network posts