Skip to main content
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
  • format design methods - including theoretical foundation to program semantics and modelling languages

People, projects and publications

People

Miss Alice Iles

Enterprise Fellow Future Worlds

Connect with Alice

Email: alice.iles@soton.ac.uk

Address: B1, East Highfield Campus, University Road, SO17 1BJ (View in Google Maps)

Doctor Andrea Lecchini Visintini

Lecturer

Connect with Andrea

Email: a.lecchini-visintini@soton.ac.uk

Address: B53, West Highfield Campus, University Road, SO17 1BJ (View in Google Maps)

Doctor Asieh Salehi Fathabadi BSc, PhD

Senior Research Fellow

Research interests

  • My main research interest is model-based formal methods, in particular a formal method called Event-B, for software engineering. Formal methods are mathematically rigorous techniques for the specification, development and verification of software and hardware systems and hence can contribute to the reliability and robustness of a design. My research work includes application, tools and methodology for formal methods.
  • I am also interested in Public Engagement (PE) activities to engage children with my ongoing research. A video of my PE activities is available here.

Accepting applications from PhD students

Connect with Asieh

Email: a.salehi-fathabadi@soton.ac.uk

Address: B53, West Highfield Campus, University Road, SO17 1BJ (View in Google Maps)

Professor Ben Clark

Professorial Fellow-Enterprise

Connect with Ben

Email: ben.clark@soton.ac.uk

Address: B1, East Highfield Campus, University Road, SO17 1BJ (View in Google Maps)

Doctor Chaohai Ding PhD

Senior Research Fellow

Connect with Chaohai

Email: c.ding@soton.ac.uk

Address: B32, East Highfield Campus, University Road, SO17 1BJ (View in Google Maps)

I'm interested in the formal verification and validation of safe and secure cyber physical systems, along with making formal modelling more accessible to industry.
Lecturer
Back to top