محمد ایزدی

دکتری علوم کامپیوتر، دانشگاه لایدن، هلند، ۱۳۹۰

دکترای مهندسی کامپیوتر، دانشگاه شریف، ایران، ۱۳۸۷

کارشناسی ارشد مهندسی کامپیوتر، دانشگاه صنعتی شریف، ۱۳۸۱

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

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

مدیر کل تحصیلات تکمیلی دانشگاه صنعتی شریف

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

سیستم‌های توزیع‌شده و چندعاملی

نظریه‌ی بازی‌ها

منطق در علوم کامپیوتر

درست‌یابی سیستم‌های نرم‌افزاری