Stats
837
reputation
0
reached
0
answers
0
questions
Loading…
About
Senior Formal Verification Reasearcher at Arm Research, Cambridge. Previously a postdoc at the University of Cambridge and the University of Bologna.
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
-
Yearling
× 4Dec 17, 2018
3
bronze badges
-
CriticOct 11, 2011
-
SupporterNov 2, 2010
-
AutobiographerSep 24, 2014
Posts
This user hasn’t posted yet.
Top network posts
View all network posts