نرم افزار
گروه مهندسی نرمافزار دانشگاه تهران جزء گروههای پیشتاز در حوزه مهندسی کامپیوتر با تمرکز بر حوزههای مرتبط با مهندسی نرمافزار در کشور محسوب میگردد. با توجه به مشترک بودن دانشکده مهندسی برق و کامپیوتر در دانشگاه تهران، یکی از مزایای ارتباط با این گروه، فراهم شدن امکان تعامل با گروههایی نظیر مهندسی فنآوری اطلاعات، هوش ماشین و روباتیک، معماری کامپیوتر، کنترل و مخابرات است که زمینههای متعدد همکاری میانگروهی با گروه مهندسی نرمافزار دارند. در ادامه فهرستی از زمینههای پژوهشی فعال در این گروه به همراه فهرست اعضای اصلی و وابسته این گروه ارائه میگردد:
"
- سیستم عامل
- سیستمهای چند هستهای، توزیعشده و محاسبات ابری
- شبکههای کامپیوتری/بیسیم/میانارتباطی/اقتضایی
- سیستمهای بیدرنگ و نهفته
- ارزیابی کارایی سیستمهای کامپیوتری و سیستمهای صف
- زمانبندی و مدیریت منابع
- امنیت شبکه و حریم شخصی
- شبکههای اجتماعی
- متن/داده کاوی
- پردازش زبان طبیعی
- سیستمهای هوشمند، یادگیری ماشینی، و رباتهای پیمانهای
- پایگاه داده و مدیریت اطلاعات متنی
- دادههای بزرگ
- روشهای رسمی
- پردازش سیگنالهای چند رسانهای، شبکههای چند رسانهای و ارتباطات چند رسانهای
- بیوانفورماتیک
- گرافیک کامپیوتری
مدیر گروه
اعضای هیئت علمی وابسته
آزمایشگاههای پژوهشی
پردازش متن و زبانهای طبیعی (هشام فیلی)
سیستمهای بیدرنگ و نهفتهی اتکاپذیر (مهدی کارگهی)
یادگیری الکترونیکی (فتانه تقی یاره)
پایگاه داده پیشرفته (مسعود رهگذر)
تصدیق کیفیت نرم افزارهای مبتنی بر وب (رامتین خسروی)
روتر و سوئیچ (ناصر یزدانی تازه کند)
روش های صوری و درستی سنجی سیستم ها (فاطمه قاسمی اصفهانی)
روش های صوری و درستی سنجی سیستم ها (رامتین خسروی)
سیستم عامل (ناصر یزدانی تازه کند)
سیستم های چند عاملی (فتانه تقی یاره)
سیستم های هوشمند اطلاعات (آزاده شاکری)
شبکه های کامپیوتری کارآمد
شبکه های کامپیوتری کارآمد
طراحی سیستم های قابل اعتماد (سیامک محمدی)
معماری نرم افزار (رامتین خسروی)
نرم افزار و پایگاه داده ها (مسعود رهگذر)
سیستمهای بیدرنگ و نهفتهی اتکاپذیر (مهدی کارگهی)
یادگیری الکترونیکی (فتانه تقی یاره)
پایگاه داده پیشرفته (مسعود رهگذر)
تصدیق کیفیت نرم افزارهای مبتنی بر وب (رامتین خسروی)
روتر و سوئیچ (ناصر یزدانی تازه کند)
روش های صوری و درستی سنجی سیستم ها (فاطمه قاسمی اصفهانی)
روش های صوری و درستی سنجی سیستم ها (رامتین خسروی)
سیستم عامل (ناصر یزدانی تازه کند)
سیستم های چند عاملی (فتانه تقی یاره)
سیستم های هوشمند اطلاعات (آزاده شاکری)
شبکه های کامپیوتری کارآمد
شبکه های کامپیوتری کارآمد
طراحی سیستم های قابل اعتماد (سیامک محمدی)
معماری نرم افزار (رامتین خسروی)
نرم افزار و پایگاه داده ها (مسعود رهگذر)