Home > Projects

Projects

  1. Pumping Time: Geographies of temporal infrastructure in fin-de-siecle Paris

    Dikec, M.

    Arts & Humanities Res Coun AHRC: £165,101

    1/10/1130/09/13

    Project: Research

  2. Composing Learning for Artificial Cognitive Systems

    Watkins, C.

    European Union: £266,427

    1/03/1128/02/15

    Project: Research

  3. Pythagoras II: Pythagoras II: Machine support for semi-formalised proof oriented mathematics

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £83,200

    1/10/0431/12/06

    Project: Research

  4. Pythagoras I: Pythagoras I: Machine support for semi-formalised proof oriented mathematics

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £187,000

    1/10/0230/09/04

    Project: Research

  5. Epigram II: Innovative programming via inductive families

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £50,483

    1/10/0431/08/05

    Project: Research

  6. Epigram I: Innovative programming via inductive families

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £199,000

    1/12/0130/09/04

    Project: Research

  7. An open proof checker based on type theory

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £268,000

    1/08/9931/12/02

    Project: Research

  8. Subtyping, inheritance, and reuse

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £128,000

    1/10/9631/03/00

    Project: Research

  9. EU Thematic Network TYPES: Computer-assisted reasoning based on type theory

    Luo, Z.

    European Union: £107,000

    1/09/0430/04/08

    Project: Research

  10. Mathematical Vernacular

    Luo, Z.

    Leverhulme Trust: £45,000

    1/01/9730/04/99

    Project: Research

  11. Islam in Modern South Asia

    Robinson, F.

    1/07/1031/12/12

    Project: Research

  12. Jamal

    Robinson, F.

    1/03/1131/12/15

    Project: Research

  13. Views from the Holiday Inn, Geopolitics, urban war and memory in Beirut

    Fregonese, S.

    British Academy: £7,301

    1/05/1131/12/12

    Project: Research

  14. Canada and the contemporary Arctic: action, anticipation and anxiety

    Dodds, K. & Nuttall, M.

    British Academy: £5,000

    1/04/1131/03/12

    Project: Research

  15. GridPP4: The UK Grid for Particle Physics

    Teixeira-Dias, P.

    Science and Technology Facilities Council: £42,544

    16/03/1215/03/13

    Project: Research

  16. Bees and the travelling salesman problem: how tiny brains solve complex cognitive tasks

    Raine, N., Le Comber, S. C. & Chittka, L.

    Wellcome Trust: £548,154

    26/06/0725/11/10

    Project: Research

  17. Application of the bumblebee foraging pheromone for commercial greenhouse pollination

    Raine, N. & Chittka, L.

    Natural Envt Research Council (NERC): £122,686

    1/10/0731/03/09

    Project: Research

  18. The evolution of learning - bumblebees as a model

    Raine, N. & Chittka, L.

    Natural Envt Research Council (NERC): £332,520

    12/01/0411/04/07

    Project: Research

  19. Attitudes towards political ethics and misconduct in France

    Allen, N.

    British Academy: £7,500

    1/07/1130/06/13

    Project: Research

  20. Can Values Reduce Prejudice even when Identification is High?

    Bardi, A. & Viki, G. T.

    Economic & Social Res Coun ESRC: £102,614

    1/10/0830/09/10

    Project: Research

  21. The relationship between spatial attention and object substitution masking

    Astle, D. & Chun, M.

    Experimental Psychology Society: £1,200

    12/07/101/09/10

    Project: Research

  22. SESI Project: Higher education and industrial innovation

    Lam, A.

    European Union: £585,000

    1/08/9831/07/01

    Project: Research

  23. Remains in Light: Modernist Intermediality, the Body and the Event

    Townsend, C.

    British Academy: £6,372

    1/06/1131/05/13

    Project: Research

  24. The Past is a Foreign Country: Post WW2 Odysseys in Modern Greece

    Spentzou, E.

    British Academy: £400

    21/03/1126/03/11

    Project: Research

  25. Key studies on evaluation of the therapeutic values of quasi-dystrophins

    Foster, K.

    Association Monégasque Contre les Myopathies: £53,462

    1/05/1030/04/11

    Project: Research

  26. Interweaving Performance Cultures

    Gilbert, H.

    International Research Center, Freie Universitat : £11,676

    1/10/1030/06/11

    Project: Research

  27. Gold Mining and Living Standards in Ghanaian Households

    Rud, J. P.

    The International Growth Centre: £23,650

    15/01/1131/03/12

    Project: Research

  28. Caffaro, Genoa and the Crusades

    Phillips, J.

    1/03/10 → …

    Project: Research

  29. SE Asia Consortium 2011-2013

    Hall, R.

    Various: £2,430,000

    1/01/1131/12/13

    Project: Research

  30. The Acculturation of Polish Immigrants into British Society: A Multi-method investigation.

    Goodwin, R., Allotey, P. & Bardi, A.

    British Academy: £832

    1/09/0831/03/09

    Project: Research

  31. Value Adjustment and its Effect on Well-Being

    Bardi, A.

    Nuffield Foundation: £7,483

    2/10/0630/09/10

    Project: Research