University of Science & Technology of Mazandaran
CV Management System
Mohammad Mehdi Pourhashem Kallehbasti
Workplace Tel (1) : 00981134552027
Fax :
Workplace Tel (2) : 00981134552000
ZIP Code :
Mail Box :
Collaboration Type : Faculty Member
Website :
Email : pourhashem@mazust.ac.ir
Workplace Address (1) : University of Science and Technology of Mazandaran
Workplace Address (2) :
Educations

2012-2015, PhD in Software Engineering, Politecnico di Milano, Italy.

Thesis: Scalable Formal Verification of UML Models.

Supervisor: Prof. Luciano Baresi
, Advisor: Prof. Carlo Ghezzi

Research interests:
Software Engineering, Formal Methods, Software Verification, Model Checking, Temporal Logic

Teaching Experience
  • 2016, Lecturer, Software Engineering Lab., Politecnico di Milano, Milan. Italy
  • 2011, Lecturer, Computer System Architecture, Parsa Institute of Higher Education, Babolsar, Iran.
  • 2011, Lecturer, Fundamental of Computer and Programming, Parsa Institute of Higher Education, Babolsar, Iran.
  • 2009–2010, Lecturer, Theory of Formal Languages and Automata, Payame Noor University, Babol, Iran.
  • 2009, Lecturer, Information Storage and Retrieval, Payame Noor University, Babol, Iran.
  • 2008, Lecturer, Web Programming, Azad University – Sari Branch, Sari, Iran.

  • 2008, Lecturer, Fundamental of Computer and Programming, Azad University – Shirgah Branch, Shirgah, Iran.

Biography
  • 2004-2008, Bachelor of Science, Software Engineering.
  • 2008-2011, Master of Science, Software Engineering.
  • 2012-2015, PhD, Software Engineering.
  • 2015–2016, Post-doctoral Researcher, Model-based methods and tools for Avionics and surveil- lance embeddeD systEmS (MADES), EU FP7 Project N 248864, Politecnico di Milano.
  • 2016–2018, Post-doctoral Researcher, Semantic Transformations for Rail Transportation (ST4RT), Shift2Rail EU project, grant N. 730842, Politecnico di Milano.
Employment Status
Research Projects
  • Model-based methods and tools for Avionics and surveil- lance embeddeD systEmS (MADES), EU FP7 Project N 248864, Politecnico di Milano.
  • Semantic Transformations for Rail Transportation (ST4RT), Shift2Rail EU project, grant N. 730842, Politecnico di Milano.
Articles
  • 2018, Santoro, R.; Dell’Arciprete, U.; Gogos, S.; Pourhashem Kallehbasti, M. M.; Rossi, M.; Carenini, A. "ST4RT – Semantic Transformations for Rail Transportation", Transport Research Arena (TRA)
  • 2017, M. Ghafari, K. Rubinov, M. M. Pourhashem Kallehbasti, “Mining Unit Test Cases to Synthesize API Usage Examples”, Journal of Software: Evolution and Process (JSEP)
  • 2016, L. Baresi, A. Morzenti, A. Motta, M. M. Pourhashem Kallehbasti, M. Rossi,  “A Logic-based Approach for the Verification of UML Timed Models”, Transactions on Software Engineering and Methodology (TOSEM)
  • 2016, L. Baresi, M. M. Pourhashem Kallehbasti, M. Rossi, “How Bit-Vector Logic Can Help Improve the Verification of First-Order LTL Specifications” ACM/SIGAPP Symposium on Applied Computing
  • 2015, L. Baresi, M. M. Pourhashem Kallehbasti, M. Rossi, “Efficient Scalable Verification of LTL Specifications”, International Conference on Software Engineering (ICSE)
  • 2015, M. M. Pourhashem Kallehbasti, “Scalable Formal Verification of UML Models”, International Conference on Software Engineering (ICSE)
  • 2014, L. Baresi, M. M. Pourhashem Kallehbasti, M. Rossi, “Flexible Modular Formalization of UML Sequence Diagrams”, 2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - ICSE
  • 2010, M. M. Pourhashem, M. Kelarestaghi, M. M. Pedram, "Missing Value Estimation in Microarray Data Using Fuzzy Clustering and Semantic Similarity", Global Journal of Computer Science and Technology
  • 2010, M. M. Pourhashem, M. Kelarestaghi, M. M. Pedram, "Improving Missing Value Estimation in Microarray Data by Using Genes Semantic Similarity", International Conference of Fuzzy Information & Engineering
Veehan CV Management System
A Joint Product of Veehan Software Groups & University of Science & Technology of Mazandaran
Version 1.0