Our research focuses on safety-critical software development and assurance across multiple domains, including emerging autonomous technologies. 

It ranges from fundamental principles through to trial implementation, linking core computer science with disciplines including engineering, law, mathematics, philosophy and psychology.

Contact us

Professor John McDermid

Professor John McDermid

High Integrity Systems Research Group lead

john.mcdermid@york.ac.uk

Stories

Group members

Photo Contact details
Academic staff
Dr Rob Alexander

Dr Rob Alexander

Academic staff

rob.alexander@york.ac.uk 

 Professor Simon Burton

Academic staff

simon.burton@york.ac.uk

 

Professor Radu Calinescu

Professor Radu Calinescu

Academic staff

radu.calinescu@york.ac.uk

Dr Xinwei Fang

Academic staff

xinwei.fang@york.ac.uk

Professor Ibrahim Habli

Professor Ibrahim Habli

Academic staff

ibrahim.habli@york.ac.uk

Dr Richard Hawkins

Dr Richard Hawkins

Academic staff

richard.hawkins@york.ac.uk

 

Dr Yan Jia

Dr Yan Jia

Academic staff

yan.jia@york.ac.uk

 

Professor John McDermid 

Professor John McDermid

Academic staff - group lead

john.mcdermid@york.ac.uk 

Dr Colin Paterson 

Dr Colin Paterson

Academic staff

colin.paterson@york.ac.uk 

Professor Mark Sujan

Academic staff

mark.sujan@york.ac.uk

Dr James Yu

Academic Staff

james.yu@york.ac.uk

Research staff

Micah Bassett

Research Trainee

micah.bassett@york.ac.uk

Dr Kester Clegg 

Dr Kester Clegg

Research Associate

kester.clegg@york.ac.uk

 Dr Vicky Hodge

Dr Vicky Hodge

Senior Technical Specialist

victoria.hodge@york.ac.uk

Nathan Hughes

Nathan Hughes

Research Associate

nathan.hughes@york.ac.uk

Dr Calum Imrie 

Dr Calum Imrie

Research Associate

calum.imrie@york.ac.uk

Dr John Molloy 

Dr John Molloy

Research Fellow

john.molloy@york.ac.uk

Dr Philippa Ryan

Research Fellow

philippa.ryan@york.ac.uk

Sepeedeh Shahbeigi Roudposhti

Research Assistant

sepeedeh.shahbeigi@york.ac.uk

Ioannis Stefanakos 

Ioannis Stefanakos

Research Associate

ioannis.stefanakos@york.ac.uk

Gricel Vazquez Flores

Gricel Vazquez Flores

Research Staff/ Postgraduate Research Student

gricel.vazquez@york.ac.uk

 Sinem Getir Yaman

Research Associate

sinem.getir.yaman@york.ac.uk

Postgraduate research students
Haris Aftab

Haris Aftab

Postgraduate Research Student

haris.aftab@york.ac.uk 

John Bragg

John Bragg

Postgraduate Research Student

jeb565@york.ac.uk 

Brendan Devlin-Hill

Brendan Devlin-Hill

Postgraduate Research Student

brendan.devlin-hill@york.ac.uk  

Jane Fenn

Jane Fenn 

Postgraduate Research Student

jlf541@york.ac.uk 

Hasan Bin Firoz

Hasan Bin Firoz

Postgraduate Research Student

hbf502@york.ac.uk 

Josh Hunter

Josh Hunter

Postgraduate Research Student

josh.hunter@york.ac.uk 

Vira Jogia

Postgraduate Research Student

vj589@york.ac.uk 

Shakir Laher

Shakir Laher

Postgraduate Research Student

sl2318@york.ac.uk 

Dr Ernest Lim

Dr Ernest Lim

Postgraduate Research Student

fbt512@york.ac.uk

Matt Osborne

Matt Osborne

Postgraduate Research Student

matthew.osborne@york.ac.uk

Berk Ozturk

Berk Ozturk

Postgraduate Research Student

berk.ozturk@york.ac.uk 

Tejas Pandey

Tejas Pandey

Postgraduate Research Student

tejas.pandey@york.ac.uk 

Annabelle Partis

Annabelle Partis

Postgraduate Research Student

alp565@york.ac.uk 

Nawshin Mannan Proma

Nawshin Mannan Proma

Postgraduate Research Student

nmp522@york.ac.uk 

Georgia Sowerby

Postgraduate Research Student

gms544@york.ac.uk 

Mohammad Tishehzan

Mohammad Tishehzan

Postgraduate Research Student

mohammad.tishehzan@york.ac.uk  

Danielle Turner

Danielle Turner

Postgraduate Research Student

dct510@york.ac.uk 

Bernard Twomey

Bernard Twomey

Postgraduate Research Student

bjt532@york.ac.uk 

Stephen Wright

Stephen Wright

Postgraduate Research Student

smw572@york.ac.uk 

Qi Zhang

Postgraduate Research Student

qi.zhang@york.ac.uk 

Other affiliates
Dr Katrina Attwood

Dr Katrina Attwood

Teaching & Scholarship

katrina.attwood@york.ac.uk

Sarah Carrington

Teaching & Scholarship

sarah.carrington@york.ac.uk

Dr Simos Gerasimou 

Dr Simos Gerasimou

Academic affiliate

Dr Claire Ingram 

Dr Claire Ingram

Teaching & Scholarship affiliate

claire.ingram@york.ac.uk

Marten Kaas

Research Associate

marten.kaas@york.ac.uk

Dr Mark Nicholson

Dr Mark Nicholson

Teaching & Scholarship

mark.nicholson@york.ac.uk

Zoe Porter

Associate Staff

zoe.porter@york.ac.uk

Dr David Pumfrey

Dr David Pumfrey

Teaching & Scholarship

david.pumfrey@york.ac.uk

Dr James Yu

Associate Staff

james.yu@york.ac.uk

 

Contact us

Professor John McDermid

Professor John McDermid

High Integrity Systems Research Group lead

john.mcdermid@york.ac.uk