Dr. Andrew Sogokon (Senior Research Fellow).
Dr. Sogokon completed his PhD at the University of Edinburgh. His research is in the area of cyber-physical systems, particularly formal modelling and verification of so-called hybrid systems. His research interests include non-linear ODEs, formal verification, optimisation, autonomous systems, data-driven control and rigorous analysis of modern control systems. Email