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 2023

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 proceedingConference contribution book

Open Access
Open Access
Game theory
Probability distributions


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) & Hancock, P. (Supervisor)

Student thesis: Doctoral Thesis


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)