دانشگاه علم و فناوری مازندران
سامانه مدیریت سوابق
محمدمهدی پور هاشم
شماره تلفن محل کار (1) : 01134552027
فکس :
شماره تلفن محل کار (2) :
کدپستی :
صندوق پستی :
نحوه همکاری : عضو هیئت علمی
وب سایت :
پست الکترونیک : pourhashem@mazust.ac.ir
آدرس محل کار (1) : دانشگاه علم و فناوری مازندران
آدرس محل کار (2) :
تحصیلات

دکتری مهندسی نرم افزار

دانشگاه پلی تکنیک میلان

علایق تحقیقاتی:

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

سابقه تدریس

دانشگاه علم و فناوری مازندران، بهشهر، مهندسی نرم افزار ۱، اصول طراحی کامپایلر، مدارهای منطقی، مبانی کامپیوتر و برنامه سازی، ریاضیات گسسته، ۱۳۹۶-کنون

دانشگاه پلی تکنیک میلان، ایتالیا، مدرس، آز. مهندسی نرم افزار، ۱۳۹۵

موسسه آموزش عالی پارسا، بابلسر، مدرس، معماری سیستم های کامپیوتری، ۱۳۹۰

موسسه آموزش عالی پارسا، بابلسر، مدرس، مبانی کامپیوتر و برنامه سازی، ۱۳۹۰

دانشگاه پیام نور بابل، مدرس، نظریه زبان ها و ماشین ها، ۱۳۸۸-۱۳۸۹

دانشگاه پیام نور بابل، مدرس، ذخیره و بازیابی اطلاعات، ۱۳۸۸

دانشگاه آزاد اسلامی واحد ساری، مدرس، برنامه نویسی مبتنی بر وب، ۱۳۸۷

دانشگاه آزاد اسلامی واحد شیرگاه، مدرس، مبانی کامپیوتر و برنامه سازی، ۱۳۸۷

 

بیوگرافی
وضعیت استخدام

عضو هیات علمی

طرح های تحقیقاتی
  • Model-based methods and tools for Avionics and surveillance 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
سامانه مدیریت سوابق ویهان
محصول مشترک گروه شرکت های نرم افزاری ویهان و دانشگاه علم و فناوری مازندران
نسخه 1.0