Dr. Panagiotis Kouvaros has re-joined SAIL (formerly VAS). He will be working on verification of neural systems, with funding from the Assured Autonomy project of DARPA. Welcome!