We are delighted to announce that Dr. Andrew Sogokon has joined TAS-S as a Senior Research Fellow. Dr. Sogokon joins us from the University of Southampton (UK) and is based at Lancaster University.
His research is broadly in the area of cyber-physical systems, particularly formal modelling and verification of so-called hybrid systems. His research interests span areas such as non-linear ODEs, formal verification, optimisation, autonomous systems, data-driven control and rigorous analysis of modern control systems.
Welcome to the TAS-S team, Andrew!