معرفی
Chris Curry is a Lecturer in Computer Science at Teesside University's Department of Computing & Games, affiliated with the Centre for Digital Innovation. His research focuses on formal methods systems, particularly shape analysis, memory safety, and bi-abductive inference for software engineering applications.
Education:
- Masters in Computing (Security and Resilience), Newcastle University (2016)
- PhD in Computer Science, Teesside University (2022)
Curry's work applies automated proof systems to software verification, emphasizing domain-specific bi-abductive reasoning and data structure analysis. He leads modules in software development, algorithms, and programming education, supervising undergraduate and Masters-level projects.
Scientific Recognition:
- Fellow of The Higher Education Academy (2024–present)
Research outputs include a 2019 IEEE conference contribution on bi-abductive inference frameworks, addressing shape properties and code-based verification challenges in complex computer systems.
