Education

  • Ph.D. 2011

    Ph.D. in Computer Science

    Leiden Institute of Advanced Computer Science, Leiden University, The Netherlands.
    Dissertation: Model Checking of Component Connectors.

  • Ph.D. 2008

    Ph.D. in Computer Engineering

    Sharif University of Technology, Tehran, Iran.
    Dissertation: An Integrated Formal Method for Specification and Verification of Component-Based Systems.

  • M.S. 2002

    M.Sc. in Computer Engineering

    Sharif University of Technology, Tehran, Iran.
    Thesis: Mu-Calculus Model Checking.

  • M.S. 1998

    M.Sc. in Philosophy of Science

    Sharif University of Technology, Tehran, Iran.
    Thesis: Oddie's Theory on Truthlikness.

  • B.S. 1995

    B.Sc. in Computer Engineering

    Sharif University of Technology, Tehran, Iran.

  • Diploma 1991

    1991: Social Economics

    1990: Mathematics and Physics

Research Interests

  • Distributed and Multiagent Systems:

    Algorithms, Formal (logical and game theoretic) Analysis, Simulation and Implementation

  • Logic in Computer Science and Artificial Intelligence:

    Modal and Temporal Logics, Systems and Software Verification, Model Checking

  • Game Theory for Computer Science:

    Game Theoretic Analyses of Distributed Systems, Algorithmic Game Theory

  • Computational Linguistics and Natural Language Processing:

    Machine Learning in Computational Linguistics, Formal Semantics, Knowledge Reprsenation

  • Programming Languages:

    Semantics and Formal Analysis, Functional Programming, Type Systems

  • Theory of Automata, Algorithms and Complexity

  • Combinatorial Optimization and Computational Geometry

  • Philosophy of Artificial Intelligence, Language and Mind

Teachings by Date

  • Fall 2019

    Theory of Distributed Systems

  • Spring 2019

    Theory of Distributed Systems

  • Fall 2018

    Algorithmic Game Theory

  • Spring 2018

    Theory of Distributed Systems

  • Fall 2017

    Algorithmic Game Theory

  • Spring 2017

    Logic for Computer Science and Engineering

  • Fall 2016

    Theory of Distributed Systems

  • Fall 2019

    Programming Languages: Design and Implementation

  • Spring 2019

    Theory of Computation

  • Fall 2018

    Programming Languages: Design and Implementation

  • Spring 2018

  • Fall 2017

    Theory of Automata and Languages

  • Spring 2017

    Theory of Automata and Languages

  • Fall 2016

    Discrete Mathematics

  • PhD Graduated
    Sattar Sattari

    Thesis Title: Minimum Dilation Triangulation Problem in the Plane

  • PhD Graduated
    Mehran Tarahomi

    Thesis Title: A hybrid method based on scheduling and load balancing to reduce the energy consumption in cloud networks

  • PhD Graduated
    Ehsan Shoja

    Thesis Title: A Game Theoretic Approach to Distributed Computing

  • PhD Garduated
    Ali BakhtHemmat

    Thesis Title: Binary Integer Programming By A Situation Recognizing-Based Provident Greedy Method

  • PhD Garduated
    Fereshteh Jadidi

    Joint supervision with Dr. AliAsghar Nazari Shirejini

    Thesis Title: Dynamic User-System Conflict Detection in Mixed-Initiative Smart Homes

  • PhD Current
    MohammadReza Besharati

    Thesis Title: Semantics Based Compliance Solving

  • PhD Current
    AliReza Farhadi

    Joint supervision with Prof. Jafar Habibi

    Thesis Title: A Theory of Compliance with Reference in Reo Coordination Models

  • PhD Current
    Shohreh Tabatabaeei Seifi

    Thesis Title: An Imperative Programming-Based Semantics for Natural Language Discourse

  • PhD Current
    Afrooz Vazifedan

    Thesis Title: Learning methods in Predicting the Outcome of Repeated Games

  • PhD Current
    Hajar Siar

    Thesis Title: Resource management and scheduling of workflows in edge-based infrastructures

  • PhD Current
    Hassan Esmkhan

    Thesis Title: Clustering for Large-Scale Datasets

  • PhD Current
    Masoumeh Soleimani

    Thesis Title:

  • MSc Garduated
    Mohammad Amin Rayej

    Thesis Title: Developing a simulator for concurrent execution of multiple workflows in fog computing environment

  • MSc Garduated
    Seyyed Ali Mohammadi

    Thesis Title: Modeling and simulation of Edge computing environments via Device-to-device communication method

  • MSc Garduated
    Vahid Shahrivari

    Thesis Title: Persian query corrector based on deep learning (With emphasis on spatial queries)

  • MSc Graduated
    Reza Sanginian

    Thesis Title: Code Generation of AKKA Actors from Reo Coordination Models

  • MSc Graduated
    Kiavash Naji

    Thesis Title: Natural Language Inference in Persian Texts based on Natural Logic

  • MSc Graduated
    Hamid Azami

    Thesis Title: Automatic extraction of Persian named entities’ knowledge graph from web sources

  • MSc Graduated
    Fatemeh MohammadMahdiPour

    Thesis Title: Analysis of resource allocation in federated Clouds using game theoretic approach

  • MSc Graduated
    Mitra MirAhmadi

    Thesis Title: Using Automata of Records as the Semantics of BIP Coordination Model

  • MSc Graduated
    Mostafa Mohajeri Parizi

    Thesis Title: A game-theoretic approach to resource management in distributed cloud environments

  • MSc Graduated
    Zeinab Liaghat

    Thesis Title: Formalizing reference architecture using their styles for conformance checking

  • MSc Graduated
    Sattar Hazrati

    Thesis Title: Efficient Algorithm for Network Motifs Discovery

  • MSc Graduated
    Ali AhmadZadeh Asl

    Thesis Title: Hybrid Design of Recommender Systems

  • MSc Graduated
    More than 10 others

  • Dec. 2016 Dec. 2021
    Dean of Education, Sharif University of Technology
    image

  • Sep. 2011 Now
    Associate Professor of Computer Engineering, Sharif University of Technology
    image

  • Dec. 2018 Sep. 2021
    Dean of Education, Iranian Society of Engineering Education
    image

  • Dec. 2018 Now
    Vice-chairman, Sharif University of Technology Branch, Iranian Society of Engineering Education
    image

  • Sep. 2014 Dec. 2016
    Vice-chairman for Education, Department of Computer Engineering, Sharif University of Technology
    image

  • Apr. 2009 Sep. 2011
    Dean of Research Affaires, Institute for Humanities and Cultural Studies (IHCS)
    image

  • Jan. 2009 Sep. 2011
    Head of Philosophy of Science Department, Institute for Humanities and Cultural Studies (IHCS)
    image

  • Dec. 2008 Sep. 2011
    Assistant Professor, Philosophy of Science Department, Institute for Humanities and Cultural Studies (IHCS)
    image

  • Mar. 2001 Dec. 2008
    Faculty Member and Instrucor, Philosophy of Science Department, Institute for Humanities and Cultural Studies (IHCS)
    image

  • Feb. 2006 May 2006
    Research Visitor, School of Computer Science, University of Birmingham, UK
    image

  • Sep. 2003 Sep. 2006
    Research Assistant, School of Computer Science, Institute for Studies in Theoretical Physics and Mathematics (IPM)
    image

  • Mar. 1998 Sep. 2002
    Research Assistant, Iranian Academy of Philosophy
    image

At My Office

You can find me at my administrative office (Room 204 located at the building of the vice-presidency for education affairs of the university) or my personal office (Room 719 in computer engineering department building).

I am at one of my offices between 7 am to 6 pm, all working days!!, but you may consider an email to fix an appointment (surely I prefer to see you after reading your email containing a brief of your problem and setting an appointment) .

At My Home

Really? Is it that urgent?

My door is always open to guests ... if they can find the door!