Research Group

Cyber Physical Systems

Computer screen and coding

We explore and develop cyber physical systems - mechanisms controlled or monitored by computer-based processes.

About

Our research group's work reflects society’s increasing dependence on software for control in systems such as transport, telecoms and avionics. 
 
We work on topics including:

  • theoretical foundations
  • modelling and programming languages
  • engineering methods
  • design tools
  • system engineering applications

Our computer scientists work on projects with important implications for people and businesses. For example, we've explored how computers can harvest their own energy to avoid the costs that come with mains or battery-powered operations. We have also designed security systems to help increase resistance to cyber attacks on UK businesses.  
 
Our research themes include:

  • autonomous and intelligent systems - projects include machine learning and its applications
  • control theory and system design - includes work in the aerospace industry
  • embedded systems - includes research into energy-efficiency
  • formal design methods - including theoretical foundation to program semantics and modelling languages

People, projects and publications

People

Dr Nawfal Al Hashimy PhD, FHEA,

Snr Teaching Fellow in Computer Science

Accepting applications from PhD students

Connect with Nawfal

Dr Reena Pau

Senior Enterprise Fellow
Connect with Reena

Dr Reza Rezazadeh

Senior Teaching Fellow
Connect with Reza

Dr Shidur Rahman

Senior Research Assistant

Research interests

  • Event Triggered Computing
  • High-Performance Computing
  • Software Performance Optimization
Connect with Shidur

Dr Son Hoang

Associate Professor

Research interests

  • Formal System Development
  • Program Semantics
  • Autonomous Systems

Accepting applications from PhD students

Connect with Son

Professor Steve Gunn

Professor

Accepting applications from PhD students

Connect with Steve

Dr Tomasz Kazmierski

Associate Professor
Connect with Tomasz