Dr. Elena Botoeva has joined the SAIL (formerly VAS) group. She is moving from the KRDB Research Centre, Faculty of Computer Science of the Free University of Bozen-Bolzano. She will be working on verification of neural systems, with funding from the Assured Autonomy project of DARPA. Welcome!