I am interested in Programming Languages, Mechanised Theorem Proving, Shared-Memory Concurrency and Memory Consistency models. Look at my publications and my talks for more information.
News
- I am now Director of the SICSA Graduate Academy (Aug'18)
- Congratulations to Dr Ruth Hoffmann on her EPSRC IAA grant (Apr'18)
- Accepted Paper: Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8 at POPL'18 (Oct'17)
- The Ott paper was awarded the Most Influential ICFP Paper Award for 2007 (Sep'17)
- Accepted Paper: Verification of a lazy cache coherence protocol against a weak memory model at FMCAD'17(Aug'17)
- Welcome to Dr Ruth Hoffmann, postdoctoral research fellow on the C3 project (Feb'17)