معرفی
Neil Ghani is a Professor in the Department of Computer and Information Sciences at the University of Strathclyde. His research focuses on foundational aspects of computer science including Homotopy Type Theory, formal verification, and compositional game theory. He has led major projects such as the Homotopy Type Theory: Programming and Verification initiative, which aims to bridge theoretical foundations with practical programming tools.
Education details are not explicitly stated in the provided texts. His work emphasizes scalable formal verification systems, modular game theory frameworks, and categorical semantics. Recent research includes coalgebraic approaches to extensive form games and ordinal notation systems in cubical Agda.
- Notable Awards: Distinguished Presentation Award (2021), ETAPS 2016 EATCS Best Paper Award
- Collaborations: Active in interdisciplinary projects with co-investigators like Fredrik Nordvall Forsberg, Crawford Revie, and others
- Current Projects: Sea lice dispersal models (2024), Trusted Systems (2019-2024)
Neil's contributions span academic leadership, doctoral training supervision, and industrial partnerships, reflecting a commitment to both theoretical innovation and practical software reliability.
