Osnabrück University

D-49076 (Unknown)

Start Date End Date Funded Value Relevance

CSV

25 50 100

£100,268

Mar 12 - Feb 14

MACHINE LEARNING COALGEBRAIC AUTOMATED PROOFS

EPSRC award to University of Dundee and Ekaterina Komendantskaya

£588,098

Oct 23 - Sep 26

NERC award to Heriot-Watt University and Frances Orton

£1,304,454

Nov 15 - Oct 19

EPSRC award to Heriot-Watt University and Andrew Ireland

£291,943

Aug 06 - Aug 09

Ring Waveguide Magneto-Inductive Detector

EPSRC award to Imperial College London and Richard Syms