Facebook (United Kingdom)

EC1V 9AU (London)

Start Date End Date Funded Value Relevance

CSV

25 50 100

£97,999

Feb 14 - Feb 16

Partial order semantics for concurrent program verification

EPSRC award to University College London and Jade Alglave

£465,503

Dec 11 - Jun 12

Logical Foundations of Resource

EPSRC award to Queen Mary University of London and James Brotherston

£550,181

Nov 13 - May 17

Boosting Automated Verification Using Cyclic Proof

EPSRC award to University College London and James Brotherston

£1,157,932

Jan 14 - Jan 14

MathSoMac: the social machine of mathematics

EPSRC award to Queen Mary University of London and Ursula Martin