No photo of Chris Curry

Chris Curry

Dr

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 Development Project and Software Development modules.

Currently delivering Lecture and Lab/Seminar sessions for: 

  • Computational Thinking and Mathematics
  • Development Project
  • Object Oriented Programming
  • Algorithmic Problem Solving
  • Software for Digital Innovation

Currently supervising final year undergraduate-level and Masters-level projects.

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

Have previously delivered sessions for the following modules:

  • Software Design and Databases
  • Java Applications Development
  • Networks and Security
  • Agile Development Project
  • Applications Development (Module lead)
  • Object Oriented Development (Module lead)
  • Computational Problem Solving
  • Algorithms and Data Structures

Education/Academic qualification

POSTGRADUATE CERTIFICATE IN LEARNING AND TEACHING IN HIGHER EDUCATION

Award Date: 29 Aug 2024

External positions

Fellow, The Higher Education Academy

2024 → …

Fingerprint

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
View full fingerprint
  • 1 Conference contribution

  • Bi-Abductive Inference for Shape and Ordering Properties

    Curry, C., Le, Q. L. & Qin, S., 26 Aug 2019, the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    241 Downloads (Pure)