Elena Botoeva joins the group as a postdoctoral researcher
Dr. Elena Botoeva has joined the 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!