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
-
A correct-by-construction approach to approximate computation
Mardare, R., Ghani, N. & Nordvall Forsberg, F.
EPSRC (Engineering and Physical Sciences Research Council)
1/11/23 → 31/10/27
Project: Research
-
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
-
Infinite horizon extensive form games, coalgebraically
Capucci, M., Ghani, N., Kupke, C., Ledent, J. & Nordvall Forsberg, F., 21 Feb 2022, (Accepted/In press) Mathematics for Computation. Singapore: World Scientific Publishing Co. Pte Ltd, 25 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
Open AccessFile11 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 AccessFile41 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