Verification group photo


Verification techniques are used for proving that a system meets its requirements and specifications. This group is lead by Dr Alexei Lisitsa.

We study verification, optimisation, and control problems for reactive, hybrid, and stochastic systems with varying degrees of independent agents with collaborative (swarms) and competitive goals.

Verification has been applied in safety-critical applications, such as air traffic control systems, and is becoming increasingly important for the development of autonomous vehicles and robots.


Academic staff members of this group are:

PhD Students

Research students active within the group are:

  • Mahmood Al Saadi
  • Amany Alshareef
  • Farah Al-Shareefi
  • Hamzah Faraj
  • Paul Gainer
  • Wei Huang
  • Mousa Jari
  • Mehmet Kurucan
  • Mete Özbaltan
  • Hadrien Pulcini
  • Emese Thamo

Back to: Department Of Computer Science