No photo of Neil Ghani

View Scopus Profile

Neil Ghani

Prof

 https://orcid.org/0000-0002-3988-2560

  • United Kingdom

20082020

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Neil Ghani is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 4 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

Trusted Systems

Ghani, N. & McBride, C.

National Physical Laboratory NPL

1/10/19 → 30/09/23

Project: Research

Doctoral Training Partnership 2018-19 University of Strathclyde | Gavranovic, Bruno

Ghani, N., Weir, G. & Gavranovic, B.

EPSRC (Engineering and Physical Sciences Research Council)

1/10/19 → 1/04/23

Project: Research Studentship - Internally Allocated

Research Output

Compositional Game Theory, compositionally

Atkey, R., Gavranović, B., Ghani, N., Kupke, C., Ledent, J. & Nordvall Forsberg, F., 6 Jul 2020. 27 p.

Research output: Contribution to conference › Paper

Open Access
File
    • 2 Downloads (Pure)

    Three equivalent ordinal notation systems in cubical Agda

    Nordvall Forsberg, F., Xu, C. & Ghani, N., 24 Jan 2020, CPP 2020 : Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. Blanchette, J. & Hritcu, C. (eds.). New York, p. 172–185 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    12 Downloads (Pure)

    Prizes

    ETAPS 2016 EATCS best paper award

    Nordvall Forsberg, Fredrik (Recipient), Ghani, Neil (Recipient) & Alex Simpson (Recipient), 6 Apr 2016

    Prize: Prize (including medals and awards)