مجید علی زاده

مجید علی زاده

مرتبه علمی : دانشیار
دانشکدگان علوم / دانشکده ریاضی، آمار و علوم کامپیوتر
Scopus
  • ۱۲۴ ارجاعات
  • ۶ h-Index
تا تاریخ : ۱۴۰۲/۱۱/۲۵
Google Scholar
  • ۲۶۶ ارجاعات
  • ۷ h-Index
تا تاریخ : ۱۴۰۴/۰۲/۲۲

پروفایل

  • امورمشاوره دانشجویان شاهد و ایثارگر دانشکده ریاضی و علوم کامپیوتر ۱۳۹۱←۱۳۹۳

تحصیلات / تحصیلات تکمیلی

P.H.D ، پژوشگاه دانشهای بنیادی ، ریاضی(منطق و محاسبه)

۱۳۷۸ ← ۱۳۸۳

M.S ، دانشگاه خوارزمی ، ریاضی محض (جبر جابجایی)

۱۳۷۶ ← ۱۳۷۸

کارشناسی ، صنعتی شریف ، ریاضی محض

۱۳۷۱ ← ۱۳۷۶

کلمات کلیدی


Chart
وارسی مدلدرستی یابی صوریتحلیل ایستادرستی یابی برنامه های کامپیوتریمعناشناسی دلالتینظریه تعبیر مجردتجزیه بستهnatural language yuformal verificationبوناچیزبان طبیعیmodel checkingنظریه تسویر تعمیم یافتهgeneralized quantifer theoryتجزیه خودمقلوبتجزیهabstract interpretationczivbonacci wordsmواژه mstatic analysisformal verification of computer programsclosed wordscrochemore factorizationdenotational semanticspalindromic wordszlempel factorizationHighcharts.com
End of interactive chart.