Home
About this system
Release history
Contact us

Dan Ghica

Go back

Reset results to starting set

The following are buttons which change the sort order, pressing the active button will toggle the sort order

Start Date

descending (press to sort ascending)

End Date Funded Value Relevance

CSV

Download all search results to a CSV file?

Large result sets may take several minutes to download.
The first row is header row.
Generation of CSV export files is restricted, and may be rejected during busy periods. If this happens then please wait and try again after a brief interval.

25 50 100

Refine

£446,229

Apr 24 - Apr 27

Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers

EPSRC award to University of Birmingham and Dan Ghica

Sep 22 - Mar 26

Nominal string diagrams and their application to compiler development

EPSRC award to University of Birmingham

£429,879

Dec 20 - May 24

Nominal String Diagrams

EPSRC award to University of Birmingham and Dan Ghica

Sep 19 - Mar 23

Type systems for the Spartan Calculus

EPSRC award to University of Birmingham

Sep 18 - Mar 22

Convergent Regression in Univalent Mathematics

EPSRC award to University of Birmingham

£334,312

Dec 16 - Nov 19

System-Level Game Semantics: A unifying framework for composing systems

EPSRC award to University of Birmingham and Dan Ghica

£274,300

Jun 13 - Dec 16

A higher-order approach to codesign - 27659

EPSRC award to University of Birmingham and Dan Ghica

£0

Jun 07 - Sep 10

UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures

EPSRC award to UNIVERSITY OF OXFORD and Marta Kwiatkowska

£510,903

Sep 06 - Jun 07

UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures

EPSRC award to University of Birmingham and Marta Kwiatkowska

£5,403

Aug 06 - Sep 06

The role of language covers in games-based abstraction and refinement

EPSRC award to University of Birmingham and Dan Ghica

£386,159

Jun 06 - Jun 11

A Unified Approach to Compositional Software Modelling, Analysis and Verification

EPSRC award to University of Birmingham and Dan Ghica

£128,758

Mar 06 - Nov 08

Modular Abstraction and Abstraction Refinement: A Game-Semantic Approach

EPSRC award to University of Birmingham and Dan Ghica

Help

Refine by :

Project Status

Active (2)

Closed (10)

Funded Amount

Up to £100K (5)

£100K to £1M (7)

£1M to £10M

Above £10M

Region

East Midlands

East of England

London

North East

North West

Northern Ireland

Scotland

South East (1)

South West

Unknown

Wales

West Midlands (11)

Yorkshire and The Humber

Project Category

BEIS-Funded Programmes

Centres

Collaborative R&D

CR&D Bilateral

EU-Funded

Fast Track

Feasibility Studies

Fellowship (1)

Grant for R&D

GRD Development of Prototype

GRD Proof of Concept

GRD Proof of Market

Innovation Loans

Institute Project

Intramural

Investment Accelerator

Knowledge Transfer Network

Knowledge Transfer Partnership

Launchpad

Legacy RDA Grant for R&D

Other Grant

Research and Innovation

Research Grant (8)

Responsive Strategy and Planning

Small Business Research Initiative

SME Support

Studentship (3)

Study

Training Grant

Vouchers

Funder

AHRC

AYRTON FUND

BBSRC

COVID

EPSRC (12)

ESRC

FIC

GCRF

HORIZON EUROPE GUARANTEE

INFRASTRUCTURE FUND

INNOVATE UK

ISCF

ISPF

MRC

NC3RS

NERC

NEWTON FUND

OPEN ACCESS BLOCK GRANT

SPF

STFC

TMF

UKRI

UKRI FLF

UKRI INN.SCHOLAR

UUI

Start Year

2031

2024 (1)

2023

2022 (1)

2021

2020 (1)

2019 (1)

2018 (1)

2017

2016 (1)

2015

2014

2013 (1)

2012

2011

2010

2009

2008

2007 (1)

2006 (4)

Data

The Data on this website provides information about publications, people, organisations and outcomes relating to research projects

APIs

A set of REST API's enable programmatic access to the data. Refer to the application programming interfaces GtR and GtR-2

Contact

UKRI Gateway
Polaris House
Swindon
SN2 1ET
gateway@ukri.org

Privacy | Terms of Use | OGL Data last updated: 09 Jan 2025