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

Ms Amirah Almutairi PhD

Research interests

  • AI/ML for securityMalware detectionNatural Languages Processing
Connect with Amirah

Dr Andrea Lecchini Visintini

Associate Professor

Research interests

  • systems modelling and control with aerospace and biomedical application
  • Monte Carlo methods

Accepting applications from PhD students

Connect with Andrea

Dr Asieh Salehi Fathabadi BSc, PhD

Senior Research Fellow

Research interests

  • Formal Methods
  • Autonomous Systems
  • Responsible AI (Socio-technical)

Accepting applications from PhD students

Connect with Asieh

Mr Carl Richardson

Research interests

  • Stability analysis of systems involving neural networks
  • The cross-over between control theory and machine learning
Connect with Carl

Dr Chao Huang

Associate Professor

Research interests

  • Reinforcement Learning
  • Formal Methods
  • Design Automation for Cyber Physical Systems

Accepting applications from PhD students

Connect with Chao

Dr Chaohai Ding PhD

Senior Research Fellow
Connect with Chaohai

Email: [email protected]

Tel: +000

Dr Colin Snook PhD

Senior Research Fellow
Connect with Colin

Professor David Thomas

Professor in Computer Engineering

Research interests

  • Event-driven Computing
  • FPGAs
  • Digital Architectures

Accepting applications from PhD students

Connect with David

Mrs E.A. Draffan

Senior Research Fellow
Connect with E.A.

Professor Ekaterina Komendantskaya

Professor

Research interests

  • Logic in Computer Science
  • Theorem Proving
  • Machine Learning

Accepting applications from PhD students

Connect with Ekaterina