If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 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
Syntactics Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2009 2019

Programming theory
Computer programming languages
Costs
Reusability
Model checking

Doctoral Training Partnership (DTA - University of Strathclyde) | Dunne, Kevin

Duncan, R., Ghani, N. & Dunne, K.

EPSRC (Engineering and Physical Sciences Research Council)

1/10/141/04/18

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

Research Output 2008 2018

  • 122 Citations
  • 15 Conference contribution
  • 9 Article
  • 1 Special issue
1 Citations

A compositional treatment of iterated open games

Ghani, N., Kupke, C., Lambert, A. & Nordvall Forsberg, F. 12 Sep 2018 In : Theoretical Computer Science. 741, p. 48-57 10 p.

Research output: Contribution to journalArticle

Open Access
File
Game
Economics
Game theory
Infinite Games
Compositionality

Compositional game theory

Ghani, N., Hedges, J., Winschel, V. & Zahn, P. 12 Jul 2018 Proceedings of the Symposium on Logic in Computer Science (LICS) 2018. New York, 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Game theory
Economics
Computer science
Byproducts
Visualization

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)

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)