I’m currently a Postdoc at Mcscert Research Team, Department of Computing and Software, McMaster university and work on safety analysis of autonomous vehicles. Previously, I was a Postdoc at Deepse Group, Politecnico di Milano from Jan 2018 to March 2020, where I received my PhD (Nov 2014 - Jan 2018) under supervision of Prof. Dino Mandrioli. My research interests are formal verification, model-based safety analysis, and application of model checking in autonomous systems.


  • 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

  • PostDoc (April 2020 - Ongoing)
    • McMaster University, Hamilton, Canada
  • PostDoc (Feb 2018 - March 2020)
    • Politecnico di Milano, Milan, Italy
  • IT Security Consultant (Oct 2013 - Oct 2014)
    • PriceWaterhouseCoopers, Milan, Italy


Email: askarpom at mcmaster dot ca