Projects per year
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
Homotopy Type Theory: Programming and Verification
EPSRC (Engineering and Physical Sciences Research Council)
1/04/15 → 31/03/19
Project: Research
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/14 → 1/04/18
Project: Research Studentship - Internally Allocated › Research Studentship (Internally Allocated)
Research Output 2008 2018
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 journal › Article
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 proceeding › Conference contribution
Open Access
File
Game theory
Economics
Computer science
Byproducts
Visualization
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)
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)