![]()  | 
		   
		      I joined the School of Computing, University of Kent as a Lecturer in September 2021. Here I am a member of the Artificial Intelligence and Data Analytics (AIDA) Research Group. 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. My new personal webpage is https://ebotoeva.github.io/ Contact InformationAddress:Elena Botoeva Office:228 E-mail:e.[lastname]@kent.ac.uk  | 
	       
