- پنج‌شنبه، ۷ اسفند ۱۳۹۹
logo
logo-title
EN FA
ورود
  • تماس با ما
  • درباره دانشکده
    • معرفی دانشکده
    • گروه‌های آموزشی‌
    • هیأت رئیسه دانشکده
    • برنامه راهبردی
    • دستاوردها
    • تماس با ما
  • افراد
    • برد اساتید
    • اعضای هیأت علمی
    • دانشجویان دکتری
    • فارغ التحصیلان دکتری
    • کادر اداری
  • آموزشی
    • دوره های کارشناسی

      • روز پروژه
      • آموزش کارشناسی
      • تقویم آموزشی و برنامه دروس هر نیمسال
      • فرم ها
      • برنامه امتحانات
      • بخشنامه های آموزشی
      • چارت کلیه گرایش ها و دروس پیشنهادی
      • دروس دانشکده
      • محتوای آموزشی دروس دانشکده
      • آزمایشگاه آموزشی

      دوره تحصیلات تکمیلی

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

      قابل توجه دانشجویان نو ورود

      • دوره تحصیلات تکمیلی
      • دوره کارشناسی
      • تقویم و برنامه آموزشی نو ورودها

      بخش های آموزشی

      • الکترونیک
      • سیستم های دیجیتال
      • شبکه و سیستم های امن
      • فناوری اطلاعات
      • قدرت
      • کنترل
      • مخابرات
      • معماری کامپیوتر
      • مهندسی پزشکی
      • نرم افزار
      • هوش ماشین و رباتیک
  • پژوهشی
    • معاونت پژوهشی
    • معرفی کلی حوزه‌های پژوهشی
    • آزمایشگاه های پژوهشی
    • سمینارها
    • پایان نامه‎ ها
  • دانشجویی
    • دانشجویان نو ورود پاییز 99
    • شاخه دانشجویی IEEE
    • شاخه دانشجویی ACM
  • دفتر انتقال فناوری
  • مرکز نوآوری
  • کمیته مشاورین
  • خدمات
    • سامانه مدیریت دروس
    • سامانه گزارش پیشرفت دانشجویان دکتری
    • پست الکترونیک
    • فرم های پر استفاده
    • راهنمای تلفن

بخش های آزمایشگاه

  • آزمایشگاه روش های صوری و درستی سنجی سیستم ها
  • اعضای آزمایشگاه
  • جلسات هفتگی
  • بخش های دانشکده

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

    لینک های سریع

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

    آزمایشگاه روش های صوری و درستی سنجی سیستم ها

    شماره تماس: 61119706
    مکان: ساختمان جدید، 501

    سرپرست آزمایشگاه

    رامتین خسروی
    استادیار
    شماره تماس : 82084918
    اتاق: 2-508
    پست الکترونیکی: 

    ساختار و بخش های دانشکده

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

    اطلاعات تماس

      • نشانی: تهران، خیابان کارگر شمالی، پردیس دانشکده‌های فنی دانشگاه تهران، دانشکده مهندسی برق و کامپیوتر تلگرام:https://t.me/UTECE

      • پست الکترونیکی: info.ece [at] ut.ac.ir

      • تلفن: ۷۷۵۶ ۸۸۰۲ (۰۲۱)

      • نمابر: ۸۸۰۱۳۱۹۹(۰۲۱)

      • کد پستی: ۱۴۳۹۹۵۷۱۳۱

      • صندوق پستی: ۵۱۵-۱۴۳۹۵

    دانشگاه تهران


    سامانه رخ نما دانشگاه تهران
      • نقشه سایت
      • گالری تصاویر
      • تماس با ما
    © کلیه حقوق متعلق به دانشگاه تهران می باشد. طراحی و پیاده سازی توسط سپهر افزار ایرانیان