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
-
Trusted Systems
Ghani, N. (Principal Investigator), McBride, C. (Co-investigator) & Nordvall Forsberg, F. (Co-investigator)
National Physical Laboratory NPL
1/10/19 → 30/09/24
Project: Research
-
A category theoretic approach to approximate game theory
Ghani, N., 25 Sept 2025, In: Electronic Proceedings in Theoretical Computer Science. 429, p. 190-202 13 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile4 Downloads (Pure) -
Metric equational theories
Mardare, R., Ghani, N. & Rischel, E., 16 Sept 2025, In: Electronic Proceedings in Theoretical Computer Science. 428, p. 144-160 17 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile1 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: Presenting or Organising an Event › Conference, workshop, seminar or 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 › Oral presentation