Verification and synthesis

Verification techniques are used for proving that a system meets its requirements and specifications. 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.

Synthesis is the technique to infer a system that is correct-by-construction from its specification.

Opportunities

We welcome opportunities to engage with students, researchers, and industry partner:

• PhD opportunities: please contact us if you are interested in pursuing a PhD in verification and synthesis
• Consultancy and research collaborations: we welcome partnerships, consultancy, and knowledge exchange projects with academic, industry, and government partners.

Contact us

Please discuss with relevant academic staff if you are interested in their research.