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 2022
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/10/22
Project: Research Studentship - Internally Allocated › Research Studentship (Internally Allocated)
Homotopy Type Theory: Programming and Verification
EPSRC (Engineering and Physical Sciences Research Council)
1/04/15 → 30/09/19
Project: Research
Programming theory
Computer programming languages
Costs
Reusability
Model checking
Research Output 2008 2019
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
Universal properties for universal types in bifibrational parametricity
Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 30 Jun 2019, In : Mathematical Structures in Computer Science. 29, 6, p. 810–827 18 p.Research output: Contribution to journal › Article
Open Access
File
Uniformity
Lemma
Semantics
Theorem
Model
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) & (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)