Professor Neil Ghani
Computer and Information Sciences
Back to staff profile
Prize And Awards
- Distinguished Presentation Award
- Recipient
- 8/6/2021
- ETAPS 2016 EATCS best paper award
- Recipient
- 6/4/2016
Back to staff profile
Publications
- Infinite horizon extensive form games, coalgebraically
- Capucci Matteo, Ghani Neil, Kupke Clemens, Ledent Jérémy, Nordvall Forsberg Fredrik
- Mathematics for Computation (2022) (2022)
- Translating extensive form games to open games with agency
- Capucci Matteo, Ghani Neil, Ledent Jérémy, Nordvall Forsberg Fredrik
- Applied Category Theory 2021 (2021)
- Compositional Game Theory, compositionally
- Atkey Robert, Gavranović Bruno, Ghani Neil, Kupke Clemens, Ledent Jérémy, Nordvall Forsberg Fredrik
- Applied Category Theory 2020 (2020)
- Three equivalent ordinal notation systems in cubical Agda
- Nordvall Forsberg Fredrik, Xu Chuangjie, Ghani Neil
- CPP 2020 : Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs , pp. 172–185 (2020)
- https://doi.org/10.1145/3372885.3373835
- Compositional game theory with mixed strategies : probabilistic open games using a distributive law
- Ghani Neil, Kupke Clemens, Lambert Alasdair, Nordvall Forsberg Fredrik
- Applied category theory conference 2019, pp. 1-12 (2019)
- Universal properties for universal types in bifibrational parametricity
- Ghani Neil, Nordvall Forsberg Fredrik, Orsanigo Federico
- Mathematical Structures in Computer Science Vol 29, pp. 810–827 (2019)
- https://doi.org/10.1017/S0960129518000336
Back to staff profile
Professional Activities
- Connected Places Exploration Workshop
- Participant
- 26/9/2019
- Contributed talk TYPES 2017: "Variations on inductive-recursive defnitions closed under composition"
- Contributor
- 31/5/2017
- Contributed talk TYPES 2016: "A Type Theory for Comprehensive Parametric Polymorphism"
- Contributor
- 23/5/2016
- Contributed talk TYPES 2015: "Two-dimensional proof-relevant parametricity"
- Contributor
- 21/5/2015
Projects
- A correct-by-construction approach to approximate computation
- Mardare, Radu (Principal Investigator) Ghani, Neil (Co-investigator) Nordvall Forsberg, Fredrik (Co-investigator)
- 01-Jan-2023 - 31-Jan-2027
- Industrial CASE Account - University of Strathclyde 2021 | Braithwaite, Dylan
- Ghani, Neil (Principal Investigator) Hedges, Julian (Co-investigator) Braithwaite, Dylan (Research Co-investigator)
- 01-Jan-2021 - 01-Jan-2025
- Maths DTP 2020 University of Strathclyde | Capucci, Matteo
- Ghani, Neil (Principal Investigator) Mardare, Radu (Co-investigator) Capucci, Matteo (Research Co-investigator)
- 01-Jan-2020 - 01-Jan-2024
- Doctoral Training Partnership 2018-19 University of Strathclyde | Gavranovic, Bruno
- Ghani, Neil (Principal Investigator) Weir, George (Co-investigator) Gavranovic, Bruno (Research Co-investigator)
- 01-Jan-2019 - 01-Jan-2023
- Trusted Systems
- Ghani, Neil (Co-investigator) McBride, Conor (Principal Investigator) Nordvall Forsberg, Fredrik (Co-investigator)
- 01-Jan-2019 - 30-Jan-2023
- Trusted Systems
- Ghani, Neil (Principal Investigator) McBride, Conor (Co-investigator) Nordvall Forsberg, Fredrik (Co-investigator)
- 01-Jan-2019 - 30-Jan-2023
Back to staff profile
Contact
Professor
Neil
Ghani
Computer and Information Sciences
Email: neil.ghani@strath.ac.uk
Tel: 548 4303