جلسه دفاع از دوره پسادکتری، دکتر علیه حسین‌آبادی با راهنمایی دکتر مهدیه حدادی، عضو هیئت علمی دانشکده، در تاریخ اول خرداد 1405 برگزار شد.این  پروژه  با عنوان ساختارهای ریاضی با محمل متناهی به مطالعه مجموعه‌های اسمی  و Cb-مجموعه‌های با محمل متناهی می‌پردازد؛ این مجموعه‌ها که نخستین‌بار توسط گابی و پیتس در اوایل دهه ۲۰۰۰ معرفی شدند، چارچوبی ریاضی برای استدلال درباره "نام‌ها و مقیدسازی آنها" در زبان‌های برنامه‌نویسی و نحو صوری فراهم می‌آورند و مطالعه ریاضی این ساختارها به پیشبرد درک ویژگی‌های جبری و رسته‌ای مجموعه‌های اسمی کمک می‌کند و بنیادی برای تحقیقات بیشتر درشاخه‌های مرتبط علوم کامپیوتر و محاسبات فراهم می‌آورد.

لازم به ذکر است ماحصل این پروژه سه مقاله علمی پژوهشی می باشد  که دو مقاله در مجلات معتبر بین‌المللی "Theoretical Computer Science"  و  "Sahand Communications in Mathematical Analysis " به چاپ رسیده‌  و یک مقاله در دست داوری است.