Mohammad Izadi

Associate Professor

Office: CE 719 Personal Website
Phone: +98 (21) 6616 6649 izadi@sharif.edu

Education

  • Ph.D. in Computer Science, Leiden University, 2011.
  • Ph.D. in Computer Engineering, Sharif University of Technology, 2008.
  • M.Sc. in Computer Engineering, Sharif University of Technology, 2002.
  • M.Sc. in Philosophy of Science, Sharif University of Technology, 1998.
  • B.Sc. in Computer Engineering, Sharif University of Technology, 1995.

Research Areas

  • Distributed and Multiagent Systems
  • Software and Systems Verification
  • Logic in Computer Science and AI