Projects per year
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.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Projects
-
Maths DTP 2020 University of Strathclyde | Capucci, Matteo
Ghani, N., Mardare, R. & Capucci, M.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/20 → 1/10/24
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 › peer-review
Open AccessFile20 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 AccessFile3 Citations (Scopus)28 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)