Welcome to my page!

I am an ADAS (Automated Driving & Active Safety) software safety engineer (not P.Eng. licensed in Ontario yet) at General Motors and an adjunct Assistant Professor at McMaster University.

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 joint project with 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 the human operator.

I also shortly worked with Prof. Di Nitto on SODALITE European Project. The goal of this project is to increase the simplicity of deploying heterogeneous systems and enabling developers to describe their applications once, using high level semantic abstractions and targeting generic abstracted execution platform to bring-up a runtime bootstrap environment. I Implemented a component that creates Infrastructure as Code blueprints in TOSCA notation from model instances defined in the project, whose output later is deployed by the user through the SODALITE IDE.

My research interests are formal verification, model-based safety analysis and application of model checking in autonomous systems and robotics.

Education

  • Ph.D in Computer Science, Politecnico di Milano, 2018
  • M.S. in Computing Systems Engineering, Politecnico di Milano, 2013
  • B.S. in Computer Science, University of Tehran, 2009

Work experience

  • Software Safety Engineer (April 2021 - Ongoing)
    • 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

Reviewer Service

  • 2022: ECMFA - IEEE RA-L - Frontiers in Robotics and AI - Transactions on Embedded Computing Systems
  • 2021: ACM TAAS - Frontiers in Robotics and AI - ICAR - IEEE SMC - IEEE RA-L - MDPI Robotics - MODELS - RESS - RCIM
  • More: RCIM - IEEE Access - FSDM - IEEE TRO - SAFECOMP

PC Service

  • ECMFA 2022
  • MODELS Conference - ACM Student Research Competition Track 2021 (SRC@MODELS21)
  • AREA 2020

Contact

Email: askarpom at mcmaster dot ca