grants-and-projects.html

### default.html(section.grants-and-projects=current)

<h2>Grants</h2>

<h3>Current Grants</h3>

<dl>

  <dt>
    <a href="https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y000455/1">A correct-by-construction approach to approximate computation</a>
  </dt>
  <dd>
    <p>1st November 2023 to 31st October 2027</p>
    <p>Radu Mardare, Fredrik Nordvall Forsberg, and Neil Ghani.</p>
  </dd>

  <dt>
    Trusted Systems
  </dt>
  <dd>
    <p>October 2019 to June 2024.</p>
    <p>Conor McBride, Fredrik Nordvall Forsberg, and Neil Ghani. Funded by <a href="https://www.npl.co.uk/">NPL</a>.</p>
  </dd>

</dl>

<h4>Previous Grants</h4>

<dl>

  <dt>
    <a href="https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/T026960/1">AISEC: AI Secure and Explainable by Construction</a>
  </dt>
  <dd>
    <p>1st December 2020 to 30th November 2023</p>
    <p>Robert Atkey, joint with Katya Komendantskaya and Verena Rieser at Heriot Watt and David Aspinall and Burkhard Schafer at University of Edinburgh.</p>
  </dd>

  <dt>
    COVER: Coalgebraic Foundations for Quantitative Verification
  </dt>
  <dd>
    <p>1st January 2021 to 31rd December 2023</p>
    <p>Clemens Kupke, joint with Corina C&#238;rstea at the University of Southampton. Funded by the <a href="https://www.leverhulme.ac.uk/listings?field_grant_scheme_target_id=13">Leverhulme Trust</a></p>
  </dd>

  <dt>
    <a href="https://www.ktpscotland.org.uk/ViewArticle/tabid/4421/articleType/ArticleView/articleId/13721/Cambridge-Quantum-Computing.aspx">KTP with Cambridge Quantum Computing</a>
  </dt>
  <dd>
    <p>August 2019 to August 2021.</p>
    <p>Conor McBride, Robert Atkey, and Fredrik Nordvall Forsberg.</p>
  </dd>

  <dt>
    <a href="http://www.ktpscotland.org.uk/ViewArticle/tabid/4421/articleType/ArticleView/articleId/9976/Symphonic-Software-Ltd.aspx">KTP with Symphonic Software</a>
  </dt>
  <dd>
    <p>July 2017 to July 2019.</p>
    <p>Robert Atkey and Clemens Kupke.</p>
  </dd>

  <dt>
    <a href="https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/M016951/1">Homotopy Type Theory: Programming and Verification</a>
  </dt>
  <dd>
    <p>1 April 2015 to 31 September 2019.</p>
    <p>Neil Ghani and Conor McBride. EPSRC EP/M016951/1.</p>
  </dd>

  <dt>
    Multi-Tenant ThinkBigData Domain Specific Language
  </dt>
  <dd>
    <p>1 February 2018 to 30 September 2018.</p>
    <p>Conor McBride. The Datalab.</p>
  </dd>

  <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/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>

  <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>