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