I am an adjunct Professor at McMaster University and a lead software safety analyst at SDV (Software Defined Vehicles) ADAS (Active Safety and Autonomous Driving)– General Motors Canada.
I was a postdoc at Mcscert Research Team , Department of Computing and Software, McMaster University from April 2020 to April 2021, following a short visiting period in 2019 (Aug - Oct). I worked on the model-based safety analysis of automotive software in a project funded by General Motors.
I worked as a Postdoc at Deepse Group , Politecnico di Milano from Jan 2018 to March 2020, where I received my PhD (Nov 2014 - Jan 2018) under the supervision of Prof. Dino Mandrioli . I worked on a joint project with STIIMA - CNR to provide software solutions for human safety in collaborative robotics. In particular, we employed model checking and temporal logic to model all the variations of task execution in collaborative robotic scenarios and identify and mitigate hazardous traces that could endanger th