FACTORS finalist at Start Cup Veneto!

I’m 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 (PhD candidate at University of Venice) and Ruffin White (UC San Diego), and in collaboration with prof. Agostino Cortesi (University of Venice) and myself.
Starting from tomorrow, we will be involved in the Acceleration Program, and the final event will take place in Padova on October, 1st, when the winners will be announced.