محمد ایزدی

عضو هیئت علمی دانشگاه صنعتی شریف

وب‌سایت اتاق: ۷۱۹
izadi@sharif.edu تلفن: ‎(۰۲۱) ۶۶۱۶ ۶۶۴۹

تحصیلات

  • دکتری علوم کامپیوتر، دانشگاه لایدن، هلند، ۱۳۹۰
  • دکترای مهندسی کامپیوتر، دانشگاه شریف، ایران، ۱۳۸۷
  • کارشناسی ارشد مهندسی کامپیوتر، دانشگاه صنعتی شریف، ۱۳۸۱
  • کارشناسی مهندسی کامپیوتر، دانشگاه صنعتی شریف، ۱۳۷۴

سوابق

  • مدیر کل آموزش دانشگاه صنعتی شریف
  • مدیر کل تحصیلات تکمیلی دانشگاه صنعتی شریف
  • معاون آموزشی دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف

زمینه‌های پژوهشی

  • سیستم‌های توزیع‌شده و چندعاملی
  • نظریه‌ی بازی‌ها
  • منطق در علوم کامپیوتر
  • درست‌یابی سیستم‌های نرم‌افزاری