Ali Movaghar
Professor
Department of Computer Engineering,
Sharif University of Technology,
Azadi Ave. Tehran, Iran.
  • Personal Information
  • Education Background
  • Professional Background
  • Research Interests
  • Publications
  • Courses Taught
  • Students Supervised

    •  
    Personal Information

    Name: Ali Movaghar, Professor
    E-mail: movaghar@sharif.edu
    Home Page: http://sina.sharif.edu/~movaghar
    Address: Department of Computer Engineering, Sharif University of Technology, P.O. Box 11155-9517, Azadi Ave., Tehran, 1998717869, Iran
    Office: Room 824
    Phone: (++98)(21) 661 66628
    Fax: (++98)(21) 660 19246

    Educational Background

  • Ph.D. in Computer, Information and Control Engineering, The University of Michigan, Ann Arbor, MI, USA, 1985.

  • M.S. in Computer, Information and Control Engineering, The University of Michigan, Ann Arbor, MI, USA, 1979.

  • B.S. in Electrical Engineering, University of Tehran, Tehran, Iran, 1977.

    Professional Background

    January 2011- August 2011:  On sabbatical Leave in the Department of Electrical Engineering and Computer Science, University of California, Irvine, USA.

    2009-2011: Chair, Information Technology Division, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran.

    2007-2008: Dean of Graduate Studies, School of Science and Engineering, International Campus of Sharif University of Technology at Kish Island, Persian Gulf, Iran.

    2002-2006: Chair, Graduate Committee, Department of Engineering, Sharif University of Technology, Tehran, Iran.

    2003-2004: Chair, Software Division, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran.

    1998-2000: Chair, Software Division, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran.

    1995-1996: Chair, Graduate Committee, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran.

    Research Interests

  • Performance and Dependability Modeling
  • Formal Verification
  • Wireless and Mobile Networks
  • Distributed Real-Time Systems

    Publications


    Journal/Electronic Notes papers:

    Conference/Workshop papers: PhD Thesis: Performability Modeling with Stochastic Activity Networks, Ph.D. Dissertation, The University of Michigan, 1985.

    Courses Recently Taught


  • Net Sys 230 - Wireless Networking, Last taught in Spring Quarter 2011.
  • 40-115 - Discrete Structures, Last taught in Fall 2010.
  • 40-824 - Performance Evaluation of Computer Systems, Last taught in Fall 2011.
  • 40-415 - Theory of Machines and Languages, Currently teaching.
  • 40-665 - Verification of Reactive Systems,  Currently teaching.. 
  • 40-657 - Modeling and Analysis of Computer Networks, Last taught in Winter 2008.
  • 40-775 - Complexity Theory, Last taught in Winter 2002.
  • 40-926 - Advanced Topics in Software Systems, Last taught in Winter 2000.
  • 40-607-  Neural Networks, Last taught in Winter 2000.
  • 40-645 - Fuzzy Systems, Last taught in Fall 1998.
  • 40-443 - Computer Networks, Last taught in Fall 1998.

    Ph.D. Students Supervised

    Current:

    Hamed Yousefi, Ph.D. Student. Title of thesis: Real-Time Data Aggregation in Wireless Sensor Networks.
    Reza Entezari Maleki, Ph.D. Student. Title of thesis:     Performability Modeling and Analysis in Grid Computing.
    Mohamad Gharib, Ph.D. Student.

    Graduated:

    Fatemeh Ghassemi Esfahani, Ph.D. 2011. Title of thesis: Formal Analysis of Ad Hoc Network Protocols Using Process Algebra.
    Mohammad Izadi,     Ph.D. 2008. Title of thesis: An Integrated Formal Method for Specification and Verification of Component-Based Systems.
    Mehdi Kargahi,     Ph.D. 2006. Title of thesis: Novel models and scheduling algorithms for enhancing the performability of real-time system.
    Mohammad Abdollahi Azgomi    , Ph.D.2005. Title of thesis: High-Level Extensions for Stochastic Activity Networks: Theories, Tools and Applications.
    Marjan Sirjani,     Ph.D., 2004. Title of thesis: Formal specification and verification of concurrent and real-time systems.


    		•
       

    Free counter and web stats