Mohammad Mahdi Jaghoori
Background

Activities

Research interests

Publications

C.V. (pdf)

 Academic Background
 

  • Masters' (MS) degree in Software Engineering
    CE department, Sharif University of Technology
    Tehran, Iran

    Graduated: September 2005 (Shahrivar 1384)
    Since September 2003 (Mehr 1382)
     

    Thesis title: Verification of Rebeca models using Partial-Order and Symmetry techniques (in Farsi)

    Supervisor: Prof. Ali Movaghar

     

  • Bachelors' (BS) degree in Software Engineering
    ECE department, University of Tehran
    Tehran, Iran

    Graduated: August 2003 (Sharivar 1382)
     Since September 1999 (Mehr 1378)

    Thesis title: Verifying Rebeca models by translation to SMV

    Supervisor: Prof. Marjan Sirjani

     

  • High school diploma in Math and Physics
    National organization for development of exceptional talents, Mashhad center
    Mashhad, Iran

     Graduated: June 1999 (Khordad 1378)
     Since September 1995 (Mehr 1374)
     

Recent Experiences
 

  • Teaching "Operating Systems" (Spring 2006) - Sajjad University

    "Operating system concepts" - Silberschatz, Galvin, Gagne.
     
  • Teaching "Programming in C++" (Spring 2006) - Sajjad University

     The course material can be downloaded as a PDF file (in Persian).

 

Home