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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Industrial CASE Account - University of Strathclyde 2021 | Braithwaite, Dylan
Ghani, N., Hedges, J. & Braithwaite, D.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/21 → 1/10/25
Project: Research Studentship Case - Internally allocated
-
Maths DTP 2020 University of Strathclyde | Capucci, Matteo
Ghani, N., Mardare, R. & Capucci, M.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/20 → 1/10/24
Project: Research Studentship - Internally Allocated
-
Infinite horizon extensive form games, coalgebraically
Capucci, M., Ghani, N., Kupke, C., Ledent, J. & Nordvall Forsberg, F., 2023, Mathematics for Computation. Benini, M., Beyersdorff, O., Rathjen, M. & Schuster, P. (eds.). Singapore: World Scientific Publishing Co. Pte Ltd, p. 195-222 25 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
Open AccessFile41 Downloads (Pure) -
Translating extensive form games to open games with agency
Capucci, M., Ghani, N., Ledent, J. & Nordvall Forsberg, F., 12 Jul 2021, Applied Category Theory 2021. Cambridge, 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile65 Downloads (Pure)
Prizes
-
Distinguished Presentation Award
Nordvall Forsberg, Fredrik (Recipient), Capucci, Matteo (Recipient), Ghani, Neil (Recipient) & Ledent, Jeremy (Recipient), 8 Jun 2021
Prize: Prize (including medals and awards)
-
ETAPS 2016 EATCS best paper award
Nordvall Forsberg, Fredrik (Recipient), Ghani, Neil (Recipient) & Simpson, Alex (Recipient), 6 Apr 2016
Prize: Prize (including medals and awards)
-
Connected Places Exploration Workshop
Neil Ghani (Participant)
26 Sept 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Contributed talk TYPES 2017: "Variations on inductive-recursive defnitions closed under composition"
Fredrik Nordvall Forsberg (Speaker), Neil Ghani (Contributor), Conor McBride (Contributor) & Stephan Spahn (Contributor)
31 May 2017Activity: Talk or presentation types › Oral presentation