forked from msp-strath/MSPweb
-
Notifications
You must be signed in to change notification settings - Fork 0
/
grants-and-projects.html
80 lines (63 loc) · 2.14 KB
/
grants-and-projects.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
### default.html(section.grants-and-projects=current)
<h2>Grants</h2>
<h3>Current Grants</h3>
<dl>
<dt>
<a href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/N015843/1">Coalgebraic Foundations of Semi-Structured Data</a>
</dt>
<dd>
<p>1 February 2016 to 31 January 2018.</p>
<p>Clemens Kupke. EPSRC EP/N015843/1.</p>
</dd>
<dt>Real World Data with Dependent Types: Integrity and Interoperation</dt>
<dd>
<p>Conor McBride. Microsoft Research PhD Scholarship.</p>
</dd>
<dt>
<a href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/M016951/1">Homotopy Type Theory: Programming and Verification</a>
</dt>
<dd>
<p>1 January 2015 to 31 December 2018.</p>
<p>Neil Ghani and Conor McBride. EPSRC EP/M016951/1.</p>
</dd>
<dt>
<a href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K023837/1">Logical Relations for Program Verification</a>
</dt>
<dd>
<p>1 October 2013 to 31 September 2017.</p>
<p>Neil Ghani. EPSRC EP/K023837/1.</p>
</dd>
</dl>
<h4>Previous Grants</h4>
<dl>
<dt>Haskell Types with Numeric Constraints</dt>
<dd>
<p>Conor McBride. Microsoft Research PhD Scholarship.</p>
</dd>
<dt><a href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/G034699/1">Reusability and Dependent Types</a></dt>
<dd>
<p>1 October 2009 to 31 March 2013.</p>
<p>Conor McBride and Neil Ghani. EPSRC EP/G034699/1.</p>
</dd>
<dt>
<a href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/J014591/1">Haskell Types with Added Value</a>
</dt>
<dd>
<p>1 July 2012 to 30 June 2013.</p>
<p>Conor McBride. EPSRC EP/J014591/1.</p>
</dd>
<dt>
<a href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/G033056/1">Theory and Applications of Induction Recursion</a>
</dt>
<dd>
<p>1 March 2009 to 31 August 2012.</p>
<p>Neil Ghani. EPSRC EP/G033056/1.</p>
</dd>
<dt>
<a href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/G068917/1">Categorical Foundations of Indexed Programming</a>
</dt>
<dd>
<p>1 January 2010 to 31 December 2012</p>
<p>Patricia Johann and Neil Ghani. EPSRC EP/G068917/1.</p>
</dd>
</dl>