IBM Austin

Unspecified (Unknown)

Start Date End Date Funded Value Relevance

CSV

25 50 100

£269,820

Jun 10 - Jul 13

Multiprocessors: From Microarchitecture to Semantic Theory

EPSRC award to University of Cambridge and Susmit Sarkar

£5,575,634

Mar 13 - Feb 20

REMS: Rigorous Engineering for Mainstream Systems

EPSRC award to University of Cambridge and Peter Sewell

£93,241

Aug 10 - May 11

An Embedded System for High Dynamic Range Enabled Television

EPSRC award to University of Warwick and Alan Chalmers