به گزارش دریافتی از معاونت پژوهش و فناوری دانشگاه یزد، پایان‌نامه دکترای امیر کفشدار گوهرشادی دانش‌آموخته این دانشگاه با عنوان «پیشرفت‌های پارامتری و هندسه‌ی جبری در تحلیل استاتیک برنامه‌ها» از انستیتوی علم و فناوری اتریش (IST Austria)   در روز دوشنبه بیستم دی‌ماه سالجاری به عنوان بهترین پایان‌نامه‌ دکترای انجمن اروپایی زبان‌های برنامه‌نویسی و سیستم‌های کامپیوتری  (EAPLS) معرفی شد.
به گزارش EAPLS، این جایزه که در سال ۲۰۱۰ تأسیس شده، همه ساله به نویسنده‌ پایان‌نامه‌ای اهدا می‌شود که نوآورانه‌ترین و تأثیرگذارترین نقش را در زمینه‌ پژوهشی زبان‌های برنامه‌نویسی و سیستم‌های کامپیوتری داشته باشد و هدف از آن نیز معرفی کارهای عالی در این حوزه، کمک به پیشرفت و تعالی برندگان و ایجاد رقابت در بین دانشجویان دکترا است.
براساس این گزارش، برنده‌ جایزه بهترین پایان‌نامه‌ دکترای انجمن اروپایی زبان‌های برنامه‌نویسی و سیستم‌های کامپیوتری  (EAPLS) ازسوی کمیته‌ بین‌المللی متشکل از استادان برتر این رشته در دانشگاه‌های سراسر جهان انتخاب می‌شود که برخی از معیارهای انتخاب آن عبارتند از: میزان نوآوری، تأثیرگذاری علمی و کیفیت نوشتار.
در گزارش دریافتی از معاونت پژوهش و فناوری دانشگاه همچنین آمده است، کمیته‌ داوری این جایزه، پایان‌نامه‌ امیر کفشدار گوهرشادی را «یک اثر برجسته» خوانده و آن را به عنوان برترین پایان‌نامه در میان صدها نامزد از دانشگاه‌های مختلف انتخاب کرده است. بخش‌هایی از گزارش‌های اعضای این کمیته در خصوص این پایان‌نامه بدین شرح است:
* این پایان‌نامه طیف وسیعی از روش‌های تحلیل و درستی‌سنجی برنامه‌ها را با استفاده از رویکردهایی نوین بررسی می‌کند. هر فصل پایان‌نامه یک دیدگاه جدید هندسی/جبری برای درستی‌سنجی برنامه‌ها ارایه می‌دهد و نتایج قابل‌توجهی به دست می‌آورد.
* نویسنده دسته‌ بزرگی از مسایل مرتبط را با استفاده از راهکارهای نابدیهی ریاضی تحلیل کرده و هم‌چنین تحلیل‌های پیچیدگی دقیقی نیز ارایه می‌دهد.
* این پایان‌نامه هم از نظر عمق و هم از نظر گستردگی مطالب بسیار چشم‌گیر است.
* نه تنها نتایج نظری جدیدی به دست‌ آمده است، بلکه همه‌ این نتایج با آزمایش‌های عملی نیز ثابت شده‌اند.
* این پایان‌نامه بهبودهای بزرگ و قابل‌توجهی نسبت به پیشرفته‌ترین تکنولوژی‌های پیش از این در تحلیل برنامه‌ها به دست‌ آورده است.
* نتایج به دست آمده در این پایان‌نامه عالی و جالب‌توجه هستند و در بهترین کنفرانس‌ها و ژورنال‌های رشته منتشر شده‌اند.
براین اساس، انجمن اروپایی زبان‌های برنامه‌نویسی و سیستم‌های کامپیوتری(EAPLS)  صمیمانه به دانش‌اموخته دانشگاه یزد تبریک گفت و بیان داشت:  اطمینان داریم که این جایزه‌ پیش‌بینی‌کننده‌ یک مسیر شغلی پژوهشی بسیار طولانی و ممتاز است.
یادآور می‌شود، امیر کفشدار گوهرشادی در سال‌های ۱۳۹۳ و ۱۳۹۴ مقطع کارشناسی خود را در رشته‌های علوم کامپیوتر و ریاضی دانشگاه یزد گذرانده و پس از اخذ مقطع دکتری در کشور اتریش به عنوان استادیار در دانشگاه علوم و فناوری هنگ‌کنگ (HKUST)  به کار پژوهشی خود ادامه می‌دهد.
پژوهش‌های وی در این حوزه پیش از این برنده‌ مقام‌ اول جشنواره‌ خوارزمی در زمینه‌ پژوهش‌های پایه، جایزه‌ بهترین پایان‌نامه‌ دکتری در دانشگاه IST Austria، جایزه‌ پایان‌نامه‌ برتر دکتری علوم کامپیوتر در کشور اتریش، دو جایزه‌ با عنوان برترین مقاله‌ دانشجویی مؤسسه‌ مهندسان برق و الکترونیک (IEEE)، جایزه‌ پژوهشی ۱۸۵۱ در دانشگاه کمبریج، گرنت پژوهشی انجمن ریاضی لندن، جایزه‌ کووالوسکویای کنگره‌ جهانی ریاضی‌دانان و هم‌چنین بورسیه‌های دکتری فرهنگستان علوم اتریش و شرکت‌های فیس‌بوک و آی‌بی‌ام نیز شده است.
گوهرشادی در دوران کارشناسی نیز به عنوان نماینده‌ دانشگاه یزد در مسابقات متعدد ریاضی و برنامه‌نویسی شرکت کرده و موفق به کسب یک مدال طلا، دو نقره و یک برنز در مسابقات جهانی ریاضی دانشجویی IMC، رتبه‌ اول مسابقه‌ آسیایی ACM ICPC لاهور و راهیابی به مرحله‌ جهانی، مدال طلای مسابقات ریاضی جنوب شرق اروپا و هم‌چنین یک مدال نقره و یک برنز در مسابقات ریاضی دانشجویی کشور شده است.