Welcome to my page!
I am an Adjunct Professor at McMaster University and a Senior Safety Design Software Architect (SDSA) at Active Safety and Autonomous Driving (ADAS) organization of General Motors Canada.
From April 2020 to April 2021, I was a postdoctoral researcher with the McSCert Research Team in the Department of Computing and Software at McMaster University, following a brief visiting period from August to October 2019. During this time, I focused on model-based safety analysis of automotive software in a project funded by General Motors.
Prior to this, I worked as a Postdoctoral Researcher with the DeepSE Group at Politecnico di Milano from January 2018 to March 2020, where I also earned my PhD under the supervision of Prof. Dino Mandrioli (November 2014 - January 2018). My research involved a collaborative project with STIIMA-CNR, aimed at developing software solutions for human safety in collaborative robotics. Specifically, we utilized model checking and temporal logic to model various task execution scenarios in collaborative robotics and identify and mitigate hazardous traces that could endanger human operators.
Additionally, I briefly collaborated with Prof. Di Nitto on the SODALITE European Project. This project aimed to simplify the deployment of heterogeneous systems by enabling developers to describe their applications using high-level semantic abstractions and target generic abstracted execution platforms to establish a runtime bootstrap environment. I implemented a component that generates Infrastructure as Code blueprints in TOSCA notation from model instances defined in the project, which are then deployed by users through the SODALITE IDE.
My research interests include formal verification, model-based safety analysis, and the application of model checking in autonomous systems and robotics.
Education
- Ph.D. in Computer Science, Politecnico di Milano, 2018
- M.Sc. in Computing Systems Engineering, Politecnico di Milano, 2013
- B.Sc. in Computer Science, University of Tehran, 2009
Work experience
- Senior Safety Design Software Architect (April 2022 - Ongoing)
- General Motors, Canada
- Software Safety Analyst (April 2021 - April 2022)
- General Motors, Canada
- Adjunct Assistant Professor (July 2021 - Ongoing)
- McMaster University, Hamilton, Canada
- PostDoc (April 2020 - April 2021)
- McMaster University, Hamilton, Canada
- PostDoc (Feb 2018 - March 2020)
- Politecnico di Milano, Milan, Italy
- IT Security Consultant (Oct 2013 - Oct 2014)
- PriceWaterhouseCoopers, Milan, Italy
PC Member
Organizer
Editor
- MDPI Special Issue “Agents and Robots for Reliable Engineered Autonomy 2023”