FACTORS awarded at Start Cup Veneto!

FACTORS won the Start Cup Veneto competition in the ICT category! This means that (i) the project is taking off! (ii) we will compete in the “Premio Nazionale dell’Innovazione” at the end of November, and (iii) we will be in full operation starting in March 2021!

FACTORS finalist at Start Cup Veneto!

The SSV is moving into start up affairs! We are extremely happy to announce that our business idea FACTORS (about the application of formal methods to robotic software) has been admitted at the final stage of Start Cup Veneto (more details here – unfortunately, only in Italian). The project is lead by Gianluca Caiazza and Ruffin White (UC San Diego), and in collaboration with prof. Agostino Cortesi and Pietro Ferrara.Starting