جامعة علوم و تكنولوجيا المازندران
نظام إدارة السوابق
محمدمهدی پورهاشم کله بستی
رقم هاتف المکتب (1) : 00981134552027
فاکس :
رقم هاتف المکتب (2) : 00981134552000
الرمز البريدي :
صندوق البريد :
كيفية التعاون : عضو هيئة التدريس
موقع :
بريد الإلکتروني : pourhashem@mazust.ac.ir
عنوان المکتب (1) : University of Science and Technology of Mazandaran
عنوان المکتب (2) :
التعليم

2012-2015 ، دكتوراه في هندسة البرمجيات ، بوليتكنيك ميلانو ، إيطاليا .

المشرف: لوتشيانو باريزي ، المستشار: كارلو غزي

الاهتمامات البحثية:

Software Engineering, Formal Methods, Software Verification, Model Checking, Temporal Logic

الخبرة في تدريس
  • 2016, LecturerSoftware Engineering Lab.Politecnico di Milano, Milan. Italy
  • 2011, LecturerComputer System ArchitectureParsa Institute of Higher Education, Babolsar, Iran.
  • 2011, LecturerFundamental of Computer and ProgrammingParsa Institute of Higher Education, Babolsar, Iran.
  • 2009–2010, LecturerTheory of Formal Languages and AutomataPayame Noor University, Babol, Iran.
  • 2009, LecturerInformation Storage and RetrievalPayame Noor University, Babol, Iran.
  • 2008, LecturerWeb ProgrammingAzad University – Sari Branch, Sari, Iran.

  • 2008, LecturerFundamental of Computer and ProgrammingAzad University – Shirgah Branch, Shirgah, Iran.

سيرة
الحالة الوظيفية
مشاريع بحثية
  • 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.
المقالات
  • 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
تمامی حقوق این سامانه برای دانشگاه علم و فناوری مازندران محفوظ است