Mohammad Izadi

Mohammad Izadi serves as Associate Professor at Sharif University of Technology's Department of Computer Engineering and directs the Distributed and Multiagent Systems Lab (DiSysLab). He holds dual PhDs in Computer Science from Leiden University and Computer Engineering from Sharif University of Technology.

Research expertise spans:

• Formal analysis of distributed systems using modal/temporal logics
• Game-theoretic resource allocation in cloud/edge networks
• Natural language processing with Persian language specialization
• Semantics of programming languages and Reo coordination models

His teaching portfolio includes graduate courses on Distributed Systems, Algorithmic Game Theory, and Logic for Computer Science. He actively supervises 6 PhD candidates and has graduated 18 master's students, with research focusing on workflow scheduling, NLP, and formal verification.

Administrative leadership:

• Dean of Education at Sharif University (2016-2021)
• Vice-chairman of Iranian Society of Engineering Education