Department of Computer Science

Current EngD Students

Christos Evripidou

Research Project: Multi Core Real Time Systems
Sponsor: ETAS

http://www.etas.com/en/

Academic Supervisor - Professor Alan Burns

Thanos Zolotas

Research Project: Domain Specific Languages for Application Build Processes
Sponsor: Digital Lightspeed Solutions

Academic Supervisor - Professor Richard Paige

Paul Taylor

Research Project: Autonomic Systems applied to BPM and workflow management
Sponsor: BT

http://www.btplc.com/

Academic Supervisor - Dr Fiona Polack

Jon Crookes

Research Project: Interfaces for Semantic Data
Sponsor: YorkMetrics Ltd

http://www.yorkmetrics.com/

Academic Supervisor - Professor Richard Paige

Ali Abusnina

Research Project: Machine Learning for Predicitive Soft Sensor
Sponsor: Evonik

http://corporate.evonik.com/

Academic Supervisor - Dr Daniel Kudenko

Ali’s webpage :- www.abusnina.com

Afnan Khan

Research Project: Trust and Information Security
Sponsor: British Telecom Group (BT)

http://www.btplc.com/

Academic Supervisor - Dr Manuel Oriol

Frank Burton

Research Project: Heterogeneous Modelling and Reasoning in the Enterprise
Sponsor: Mood International Software

http://www.moodinternational.com/

Academic Supervisor - Professor Richard Paige

Andrew Burkimsher

Research Project: HPC Simulation Workflows on an Extended Enterprise Environment
Sponsor: Airbus

http://www.airbus.com/en/

Academic Supervisor(s) - Dr Iain Bate & Dr Leandro Indrusiak

Hashem Ghazzawi

Research Project: HPC Simulation Workflows on an Extended Enterprise Environment
Sponsor: Airbus

http://www.airbus.com/en/

Academic Supervisor(s) - Dr Iain Bate & Dr Leandro Indrusiak

Julian Friedman

Research Project: Cloud Computing
Sponsor: IBM

http://www.ibm.com/uk/en/

Academic Supervisor - Dr Manuel Oriol

Matt Hudson

Research Project: Immersion, Learning & Role identification in Virtual Environments.
Sponsor: BAE Systems

http://www.baesystems.com/

Academic Supervisor - Dr Paul Cairns

Paul Mayo

Research Project: Safety Engineering Methods relating to MOD Complex Systems
Sponsor: SafeEng

http://safeeng.com/

Academic Supervisor - Dr Tim Kelly

Mick Warren

Research Project: Making Risk-Informed Decisions in Software Acquisition
Sponsor: AACE

http://www.aace.co.uk/

Academic Supervisor - Dr Tim Kelly

Will Lunniss

Research Project: On-Target Verification of Large-Scale Complex Embedded Real-Time Systems
Sponsor: Rapita Systems

http://www.rapitasystems.com/

Academic Supervisor - Dr Rob Davis

Alex Fargus

Research Project: Prognostics & Diagnostics of Systems
Sponsor: Cybula

http://www.cybula.com/

Academic Supervisor - Professor Jim Austin

Mustafa Aydin

Research Project: Cloud Security
Sponsor: British Telecom

http://www.bt.com/

Academic Supervisor - Dr Jeremy Jacob