Senior Formal Verification Reasearcher at Arm Research, Cambridge. Previously a postdoc at the University of Cambridge and the University of Bologna.
Cambridge, United Kingdom
Member for 9 years, 10 months
5 profile views
Last seen Jul 31 '18 at 8:09
Top network posts
- 26 Major unsolved problems in theoretical computer science?
- 13 Powerful Algorithms too complex to implement
- 13 How do 'tactics' work in proof assistants?
- 13 Are there any counterintuitive results in theoretical computer science?
- 12 Small steps for better TCS conferences?
- 11 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 →