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
Algebra
Engineering & Materials Science
Semantics
Engineering & Materials Science
Polymorphism
Engineering & Materials Science
Computer programming languages
Engineering & Materials Science
Polynomials
Engineering & Materials Science
Proof by induction
Mathematics
Containers
Engineering & Materials Science
Game theory
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2009 2023
Trust: Trusted Systems
Ghani, N., McBride, C. & Nordvall Forsberg, F.
1/10/19 → 30/09/23
Project: Research
Research Output 2008 2020
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. New York, p. 172–185 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open Access
File
Innovation
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
Game theory
Probability distributions
Thesis
Bifibrational parametricity : from zero to two dimensions
Author: Orsanigo, F., 1 Oct 2016Supervisor: Ghani, N. (Supervisor) & Kupke, C. (Supervisor)
Student thesis: Doctoral Thesis
Investigations into inductive-recursive definitions
Author: Malatesta, L., 1 Oct 2013Supervisor: Ghani, N. (Supervisor) & Hancock, P. (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)