دکتر علی رضايي - استادیار

نوشته شده توسط علی رضایی

 

 

این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید

این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید

کانال تلگرام تیم های پژوهشی: https://telegram.me/distributed_lab

 

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

زمینه های تحقیقاتی:

  • روش های فورمال (Formal Methods)، جبر پردازه ای (Process Algebra)
  • محاسبات فراگیر (Pervasive Computing) اینترنت اشیاء (IoT)
  • معماری نرم افزار (Software Architecture)
  • محاسبات ابری   (Mobile Cloud Computing)
  • بزرگ داده (Big Data) 
  • محاسبات سریع /کارایی بالا ( HPC)

  آزمایشگاه های پژوهشی:

۱- آزمایشگاه معماری نرم افزار و روش های فورمال

۲- آزمایشگاه سیستم های توزیع شده 


آزمایشگاه های فوق الذکر در محل ساختمان ابن سینا بلوک A ضلع غربی طبقه دوم  اتاق های ۲۰۴ و ۲۰۳ قرار دارند. 

دانشجویان تحصیلات تکمیلی فعلی:

 راهنما  

  •   خانم نرگس آخوند (دکتری تخصصی)
  •   خانم معصومه حاج ولی(دکتری تخصصی) 
  •   خانم الهه گوکساز (دکتری تخصصی)
  •    خانم نرگس احمدی فرمال متد/ طراحی تست 
  •    خانم رکسانا شارمی- محاسبات فراگیر/ تصمیم گیری بلادرنگ (سرپرست گروه های تحقیقاتی)
  •    خانم پگاه یزدانی  (ارشد)
  •   خانم مریم ملکی(ارشد)
  •    خانم مونا جعفری (ارشد) - زمانبدی بلادرنگ / اسپارک
  •    خانم مونا شهبازفر (ارش) - محاسبات فراگیر
  •   خانم فاطمه خدایاری (ارشد)
  •   خانم فریده قاسمی(ارشد)
  •   آقای حسین خامه (ارشد) زمانبندی/ بازی ها آنلاین
  •   خانم آلما ضیاء آبادی (ارش)‌محاسبات فراگیر
  •   آقای علی نظرریا (ارشد) - بیگ دیتا/ ابر
  •    خانم فاطمه حسن پور (ارشد) - فرمال متد /محاسبات فراگیر / قابلیت اطمینان
  •   آقای حامد داور (ارشد)
  •   خانم مریم قلی نژاد  (ارشد)
  •   خانم عطیه اسلام زاده  (ارشد)
  •   خانم بهاره شیخی  (ارشد)

مشاور

  •   خانم فهیمه حسینیان (ارشد) - شهر هوشمند / محاسبات فراگیر
  •   آقای میثم دولت کیا  (ارشد) - استخراج متادیتا / طراحی اتوماتیک
  •   خانم مهسا خلج (ارشد)
  •   آقای علی ابراهیمی  (ارشد)
  •   خانم سارا قنبریان (ارشد)
  •   خانم ندا سامانی (ارشد)
  •   خانم آسیه علوی (ارشد)
  •   خانم فیروزه دهقانیان (ارشد)
  •   آقای ابراهیمی (ارشد) مجازی سازی/ ابر / اپن استک
  •   آقای آرمین کریمی  (ارشد)

 دانشجویانی که به تازگی فارغ التحصیل شده اند:

  •   خانم آرزو طهماسبی  معماری نرم افزار / مدلسازی رفتاری  
  •   خانم زهرا باتمان قلیچ- روش های فورمال/جبر پردازه ای/ راستی آزمایی ترکیب سرویس 
  •   آقای آرش نوبهاری (ارشد) - معماری نرم افزار/ تعامل بینابینی/ شهر هوشمند
  •   خانم نرگس آخوند - معماری نرم افزار / محاسبات فراگیر
  •  خانم آتریا بوستانی (ارشد ) - محاسبات فراگیر/ آگاهی از زمینه
  •   خانم مریم فرهانی (ارشد) - محاسبات موبایل
  •   خانم شفیعه معینی (ارشد) - پیش بینی زمان اجرا/ ابر
  •   خانم آویشن شرفی (ارشد) - بیگ دیتا/ هدوپ
  •   خانم مریم فتحی -محاسبات ابری موبایل
  •   خانم مینا باستانی - محاسبات ابری موبایل
  •   خانم ملیحه خیرخواه - مهاجرت ماشین مجازی/ ابر
  •   آقای حامد شکیبا- تخصیص منابع/ ابر
  •   خانم بهاره رحمتی - تکرار داده
  •   خانم شیما طاهریان- محاسبات فراگیر
  •   خانم ریحانه خسروی- محاسبات فراگیر
  •  خانم ندا دیوزاد - فرمال متد / معماری سیستم های محاسبات فراگیر
  •   آقای علیزاده (ارشد) - ابر 
  •   آقای سیدمحسن عرب (ارشد) - سنسور بی سیم/ مسیریابی 

درس های ارائه شده:

  1. معماری نرم افزار
  2. سیستم  عامل پیشرفته 
  3. سیستم های توزیع شده
  4. مهندسی نرم افزار پیشرفته
  5. مباحث پیشرفته در مهندسی نرم افزار
  6. روش تحقیق
  7. سیستم عامل
  8. طراحی و پیاده سازی زبان های برنامه سازی