دکتر علی رضايي
این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید , این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید
- استادیار تمام وقت گروه مهندسی کامپیوتر
- سرپرست آزمایشگاه سیستم های توزیع شده / آزمایشگاه معماری نرم افزار و روش های صوری
زمینه های تحقیقاتی:
- روش های فورمال ، جبر پردازه ای، صحت سنجی ایستا و پویا
- زمانبندی توزیع شده، پیش بینی رفتاری
- معماری نرم افزار در سیستم های همروند/موازی، پویایی ساختاری، سیستم های مقیاس بزرگ تطبیق پذیر
- سیستم های توزیع شده،Cloud/Fog/IoT
- سیستم های معاملاتی آنلاین Massively Parallel Trading
آزمایشگاه های پژوهشی:
۱- آزمایشگاه معماری نرم افزار و روش های فورمال
۲- آزمایشگاه سیستم های توزیع شده
آزمایشگاه های فوق الذکر در محل ساختمان ابن سینا بلوک A ضلع غربی طبقه دوم اتاق های ۲۰۴ و ۲۰۳ قرار دارند.
دانشجویان تحصیلات تکمیلی
دکتری تخصصی:
- آقای امیرحسین روحانی سراجی : فورمالیسم رفتاری ساختاری بنیادی
- آقای علی احمدی : معماری نرم افزار/ پویایی ساختاری -رفتاری/روش های فورمال
- خانم رضایی زاده (واحد دوبی): پویایی ساختاری/اینترنت اشیاء
- خانم بیک نظری(واحد دوبی):تحلیل رفتاری زمان اجراء/اینترنت اشیاء
- خانم معصومه حاج ولی: سیستم های مراقبت از سلامت/ معماری نرم افزار/روش های فورمال
- خانم زری شمسا: ابر-مه/ زمانبندی/ سیستم های بلادرنگ
- خانم داورپور: معماری نرم افزار/ ابر-مه-اینترنت اشیاء/ فورمال متد
- آقای شاهپریان: محاسبات توزیع شده/ اینترنت اشیاء
- خانم عظیم نژاد: ترکیب سرویس/ دانه بندی پویا
- آقای امیر آگاه: سیستم های مقیاس بزرگ معاملاتی آنلاین
- خانم نرگس آخوند: زمانبندی/محاسبات خودمختار/ابر مه
- خانم فاطمه دوامی(واحد تهران شمال): زمانبندی توزیع شده/ گردش کار
- خانم سیما شمس (واحد دوبی): تحلیل رفتاری/ سیستم های ابر-مه
کارشناسی ارشد:
- خانم منصوره بهرامی: تست فورمال/ اثبات سازگاری رفتاری
- خانم عطیه قرنلی: مدلسازی ابر-مه
- آقای سید حسن رضوی: سیستم های چند ابری/ بلاک چین
- خانم مریم ملکی: خوشه های محاسباتی
- خانم رضوان موسوی (ارشد) سیستم های مقیاس بزرگ، تحلیل رفتاری
- خانم ریحانه احمدپور(ارشد) مجازی سازی
- خانم پگاه یزدانی (ارشد) اینترنت اشیاء/ شهر هوشمند
- آقای احمد علی پور (ارشد) گلخانه خودمختار هوشمند/شهر هوشمند/ اسپایک ساختاری-رفتاری
- آقای عباس شاهوارقی(ارشد): گلخانه خودمختار هوشمند/اینترنت اشیاء/ مایکرولب
- خانم مونا کوهی(ارشد): گلخانه خودمختار هوشمند/ اینترنت اشیاء/ میان افزار و زمانبند
- خانم نسیم ناصری(ارشد): گلخانه خودمختار هوشمند/اینترنت اشیاء/ مدل سازگاری داده
- خانم ساحل رفیع: گلخانه خودمختار هوشمند/اینترنت اشیاء/ توزیع شده گی جغرافیایی
دانشجویانی که به تازگی فارغ التحصیل شده اند:
- خانم الهه گوکساز (دکتری تخصصی)
- آقای علی نظرریا (ارشد) - بیگ دیتا/ ابر
- آقای حامد داور (ارشد)
- خانم مریم قلی نژاد (ارشد)
- خانم عطیه اسلام زاده (ارشد)
- خانم بهاره شیخی (ارشد)
- خانم رکسانا شارمی- محاسبات فراگیر/ تصمیم گیری بلادرنگ
- خانم مونا شهبازفر (ارش) - محاسبات فراگیر
- خانم فاطمه خدایاری (ارشد)
- خانم فریده قاسمی(ارشد)
- آقای حسین خامه (ارشد) زمانبندی/ بازی ها آنلاین
- خانم آرزو طهماسبی معماری نرم افزار / مدلسازی رفتاری
- خانم زهرا باتمان قلیچ- روش های فورمال/جبر پردازه ای/ راستی آزمایی ترکیب سرویس
- آقای آرش نوبهاری (ارشد) - معماری نرم افزار/ تعامل بینابینی/ شهر هوشمند
- خانم نرگس آخوند - معماری نرم افزار / محاسبات فراگیر
- خانم آتریا بوستانی (ارشد ) - محاسبات فراگیر/ آگاهی از زمینه
- خانم مریم فرهانی (ارشد) - محاسبات موبایل
- خانم شفیعه معینی (ارشد) - پیش بینی زمان اجرا/ ابر
- خانم آویشن شرفی (ارشد) - بیگ دیتا/ هدوپ
- خانم مریم فتحی -محاسبات ابری موبایل
- خانم مینا باستانی - محاسبات ابری موبایل
- خانم ملیحه خیرخواه - مهاجرت ماشین مجازی/ ابر
- آقای حامد شکیبا- تخصیص منابع/ ابر
- خانم بهاره رحمتی - تکرار داده
- خانم شیما طاهریان- محاسبات فراگیر
- خانم ریحانه خسروی- محاسبات فراگیر
- خانم ندا دیوزاد - فرمال متد / معماری سیستم های محاسبات فراگیر
- آقای علیزاده (ارشد) - ابر
- آقای سیدمحسن عرب (ارشد) - سنسور بی سیم/ مسیریابی
- خانم فهیمه حسینیان (ارشد) - شهر هوشمند / محاسبات فراگیر
- آقای میثم دولت کیا (ارشد) - استخراج متادیتا / طراحی اتوماتیک
- خانم مهسا خلج (ارشد)
- آقای علی ابراهیمی (ارشد)
- خانم سارا قنبریان (ارشد)
- خانم ندا سامانی (ارشد)
- خانم آسیه علوی (ارشد)
- خانم فیروزه دهقانیان (ارشد)
- آقای ابراهیمی (ارشد) مجازی سازی/ ابر / اپن استک
درس های ارائه شده:
- معماری نرم افزار
- سیستم عامل پیشرفته
- سیستم های توزیع شده
- تولید برنامه از توصیف صوری
- مهندسی نرم افزار پیشرفته
- برنامه نویسی همروند
- طراحی و پیاده سازی زبان های برنامه سازی
- مباحث پیشرفته در مهندسی نرم افزار
- روش تحقیق / سمینار
- سیستم عامل
- طراحی و پیاده سازی زبان های برنامه سازی