Research output per year
Research output per year
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.
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
Research output
- 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). IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile145 Downloads (Pure)
Thesis
-
An Investigation of Combined Domain Bi-Abductive Inference
Author: Curry, C., 1 Oct 2022Supervisor: Qin, S. (Supervisor), He, M. (Supervisor) & Mu, C. (Supervisor)
Student thesis: Doctoral Thesis
File