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.

  • 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/191/10/22

Project: Research Studentship - Internally AllocatedResearch Studentship (Internally Allocated)

Programming theory
Computer programming languages
Costs
Reusability
Model checking

Research Output 2008 2019

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 journalArticle

Open Access
File
Uniformity
Lemma
Semantics
Theorem
Model

Thesis

Bifibrational parametricity : from zero to two dimensions

Author: Orsanigo, F., 1 Oct 2016

Supervisor: Ghani, N. (Supervisor) & Kupke, C. (Supervisor)

Student thesis: Doctoral Thesis

Investigations into inductive-recursive definitions

Author: Malatesta, L., 1 Oct 2013

Supervisor: 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)