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.
- 5 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
Trust: Trusted Systems
Ghani, N., McBride, C. & Nordvall Forsberg, F.
1/10/19 → 30/09/23
Project: Research
Research Output
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
Compositional game theory with mixed strategies: probabilistic open games using a distributive law
Ghani, N., Kupke, C., Lambert, A. & Nordvall Forsberg, F., 15 Jul 2019, p. 1-12. 12 p.Research output: Contribution to conference › Paper
Open Access
File
Thesis
A categorical approach to the foundations of Quantum theory
Author: Dunne, K., 19 Sep 2019Supervisor: Duncan, R. (Supervisor) & Ghani, N. (Supervisor)
Student thesis: Doctoral Thesis
Bifibrational parametricity : from zero to two dimensions
Author: Orsanigo, F., 27 Jan 2017Supervisor: Ghani, N. (Supervisor) & Kupke, C. (Supervisor)
Student thesis: Doctoral Thesis
Prizes
ETAPS 2016 EATCS best paper award
Fredrik Nordvall Forsberg (Recipient), Neil Ghani (Recipient) & Alex Simpson (Recipient), 6 Apr 2016
Prize: Prize (including medals and awards)