Member for 11 years, 10 months
Last seen more than 3 years ago
Cambridge, United Kingdom
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