—- data faculty —-

Full Name: Mohammad Izadi Family: Izadi Title: Associate Professor Position: – Office: CE 719 Phone: +98 (21) 6616 6649 Email: izadi@sharif.edu Website: https://sharif.edu/~izadi Image: izadi.png ID: izadi Group: Software Adjunct Group: Artificial Intelligence Fields: Algorithm Start: 2011 Finish: – Status: Faculty

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