Recent News:

[Feb 2023] - Sadegh Soudjani is awarded the prestigious €2m ERC Consolidator grant to perform fundamental research on formal verification and synthesis of cyber-physical systems under uncertainty. We will soon open PhD and postdoc positions.

[Feb 2023] - Mahdieh Zaker has joined our group as a PhD student.

[Feb 2023] - Negar Monir has joined our group as a PhD student.

[Jan 2023] - Omid Akbarzadeh has joined our group as a PhD student. He is jointly supervised with Dr Abolfazl Lavaei.

[Jan 2023] - Andrea Calvagna is visiting our group for a month. He will be contributing to the SymAware project.

[Jan 2023] - Anna Laino presented a poster at the WRRmod 2022+ conference in Stellenbosch, South Africa. Anna's poster was on "Quantification of wastewater treatment resilience metrics".

[Dec 2022] - Oliver Schön presented at the IEEE CDC 2022 conference in Cancun, Mexico. Oliver's paper was titled "Correct-by-Design Control of Parametric Stochastic Systems" and can be found here.

[Dec 2022] - Milad Kazemi successfully defended his PhD this morning subject to very minor corrections. Milad's research was at the intersection of control theory, formal methods, and reinforcement learning.His examiners were Professor Rayna Dimitrova from CISPA, Germany, and Prof Maciej Koutny from Newcastle University. Milad is now continuing his research at King’s College London to develop new ideas at the intersection of formal methods, machine learning, and security.