Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 12 Finished
-
Sea lice dispersal models
Waites, W. (Principal Investigator), Ghani, N. (Co-investigator), Mardare, R. (Co-investigator) & Revie, C. (Co-investigator)
SAIC Sustainable Aquaculture Innovation Centre SFC Administered via Stirling (formerly Scottish AIC)
8/01/24 → 31/07/24
Project: Research
-
Doctoral Training Partnership 2018-19 University of Strathclyde | Gavranovic, Bruno
Ghani, N. (Principal Investigator), Weir, G. (Co-investigator) & Gavranovic, B. (Research Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/10/19 → 7/03/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 AccessFile1 Citation (Scopus)55 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 AccessFile66 Downloads (Pure)
Prizes
-
Distinguished Presentation Award
Nordvall Forsberg, F. (Recipient), Capucci, M. (Recipient), Ghani, N. (Recipient) & Ledent, J. (Recipient), 8 Jun 2021
Prize: Prize (including medals and awards)
-
ETAPS 2016 EATCS best paper award
Nordvall Forsberg, F. (Recipient), Ghani, N. (Recipient) & Simpson, A. (Recipient), 6 Apr 2016
Prize: Prize (including medals and awards)
-
Connected Places Exploration Workshop
Ghani, N. (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"
Nordvall Forsberg, F. (Speaker), Ghani, N. (Contributor), McBride, C. (Contributor) & Spahn, S. (Contributor)
31 May 2017Activity: Talk or presentation types › Oral presentation