University of Augsburg

Unspecified (Unknown)

Start Date End Date Funded Value Relevance

CSV

25 50 100

£389,207

May 15 - Nov 18

Verifying concurrent algorithms on Weak Memory Models

EPSRC award to University of Sheffield and John Derrick

£98,219

Mar 16 - Apr 17

EPSRC award to Brunel University London and Brijesh Dongol

£422,585

Sep 23 - Feb 27

EPSRC award to University of Sheffield and John Derrick

£963,402

May 12 - Oct 17

Disruptive Optoelectronic Manufacture using Graphene

EPSRC award to UNIVERSITY OF EXETER and Geoff Nash

£406,411

Oct 18 - Aug 22

Verifiably Correct Transactional Memory.

EPSRC award to University of Sheffield and John Derrick