Personal profile

Academic Biography

Awarded Masters in Computing (Security and Resiliance) from Newcastle University (2016).

Awarded PhD in Computer Science from Teesside University (2022) for the thesis "An Investigation of Combined Domain Bi-Abductive Inference".

Summary of Research Interests

Current research focus is on the development and deployment of formal methods systems and techniques to software engineering settings. 

Areas of particular interest are:

  • Shape Analysis
  • Memory Safety
  • Bi-Abductive Inference
  • Automated proof systems

Learning and Teaching Interests and Activities

Module Leader of Applications Development (Sep 2022- Jan 2023 instance).

Currently delivering Lecture and Lab/Seminar sessions for: 

  • Object Oriented Development
  • Computational Problem Solving
  • Software for Digital Innovation
  • Applications Development

Have previously delivered sessions for the following modules:

  • Software Design and Databases
  • Java Applications Development
  • Networks and Security
  • Agile Development Project

Also organising and delivering the online Winter University course Computer Sciences: Programming.


Dive into the research topics where Chris Curry is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles