Cambridge, United Kingdom
Member for 11 years, 1 month
Senior Formal Verification Reasearcher at Arm Research, Cambridge. Previously a postdoc at the University of Cambridge and the University of Bologna.
Top network posts
- 26 Major unsolved problems in theoretical computer science?
- 15 How do 'tactics' work in proof assistants?
- 13 Powerful Algorithms too complex to implement
- 13 Are there any counterintuitive results in theoretical computer science?
- 12 Small steps for better TCS conferences?
- 12 Where and how did computers help prove a theorem?
- 8 What are possible implementations of Haskell's type classes and what are their (dis)advantages?
- View more network posts →