رساله های دکتری

1. عیب‌یابی و تصحیح مدارهای حسابی بر مبنای پایه گروبنر
   نگار آقاپورصباغ 1403
2. شناسایی تروجان های سخت افزاری بر اساس طراحی برای امنیت
   احمد شعبانی 1400
3. توسعه یک بستر پیاده سازی سخت افزاری شبکه های عصبی کانولوشنی بر روی FPGA
   علی آزرمی گیلان 1399
4. "افزایش قابلیت عیب یابی مدارهای دیجیتال پس از ساخت "
   سیامک بیگ محمدی 1397
5. درستی سنجی پردازنده های مدرن با قابلیت توان پویا
   سیدرضا شرفی نژاد 1397
6. بررسی برابری سطح بالای طراحی‌های مبتنی بر مسیر داده
   محمدرضا اذرباد 1396
7. ارائه روش سیستماتیک برای کاهش مشکلات زمانی مدارهای ترتیبی در سطح ریز معماری
   مهرناز احمدی 1396
8. به کارگیری عیب یابی پیش از ساخت جهت تسهیل عیب یابی پس از ساخت
   فاطمه رفان 1396
9. بهینه سازی تحلیلی مدارات دیجیتال با دقت محدود
   مهدیه گراییلوتنها 1396