I joined the School of Computing, University of Kent as a Lecturer in September 2021. Previously, I was a Research Associate in the Verification of Autonomous Systems Group at Department of Computing, Imperial College London. I obtained PhD in Computer Science while at the KRDB Research Centre, Faculty of Computer Science of the Free University of Bozen-Bolzano. Contact InformationAddress:Elena Botoeva Office:228 E-mail:e.[lastname]@kent.ac.uk |