Grants

main content

Investigator:
Funding Body:
Research Group:
Limit:
Future Current Previous
 

There were 8 matches for this search.

"Planetary Robotic Vision Scout (ProViScout)", D. Long, European Union, €109000, Apr 2010 until Sep 2012.

"Categorical Foundations of Indexed Programming", P. Johann, EPSRC, £281879, Jan 2010 until Dec 2012.

"Structural comparison of labelled graph data", R. Connor and F. Simeoni, EPSRC, £88265, Oct 2009 until Sep 2012.

"Reusability and dependent types", N. Ghani, EPSRC, £151124, Sep 2009 until Feb 2013.

"Haskell Types with Numeric Constraints", C. McBride, Microsoft, £69000, Aug 2009 until Dec 2012.

"Categorical foundations for indexed programming", P. Johann and N. Ghani, EPSRC, £290247, Jul 2009 until Jun 2012.

"Theory and applications of induction-recursion", N. Ghani, EPSRC, £318304, Mar 2009 until Aug 2012.

"Automated Modelling and Reformulation in Planning", M. Fox, D. Long and T. Illes, EPSRC, £335650, Dec 2008 until Dec 2012.