آقای مهندس علی شماخی دانشجوی کارشناسی ارشد رشته نرم‌افزار دانشکده مهندسی برق و کامپیوتر دانشگاه تهران، به عنوان یکی از اعضای کمیته ارزیابی آثار کنفرانس TACAS برگزیده شد (https://etaps.org/2022/tacas). آقای شماخی تنها متخصص ایرانی است که در سال 2022 در کمیته علمی این کنفرانس عضویت دارد.

کنفرانس بین المللی TACAS یا International Conference on Tools and Algorithms for the Construction and Analysis of Systems یکی از معتبرترین کنفرانس های بین المللی در زمینه مهندسی نرم افزار و زبانهای برنامه سازی است. این کنفرانس به عنوان یک کنفرانس برتر (top-ranked) در رده بندی شرکت مایکروسافت شناخته می شود(https://academic.microsoft.com/conferences/199360897).

مجموعه کنفرانسهای ETAPS یا The European Joint Conferences on Theory and Practice of Software شامل همایش‌هایی بین المللی در زمینه تئوری و عملی نرم افزار است که سالانه در پایان ماه مارس یا اوایل آوریل برگزار می شود.  سه مورد از چهار کنفرانس این مجموعه کنفرانسها در زمینه مهندسی نرم افزار (FoSSaCS، FASE، TACAS) و یکی (ESOP) در حوزه زبان‌های برنامه‌نویسی است.

پذیرش آقای شماخی به عنوان صاحب نظر برای داوری بخش نرم افزار این کنفرانس بین المللی مایه مباهات دانشکده بوده و ضمن قدردانی از کوشش‌های این دانشجوی نمونه، آرزومند حضور سایر دانشجویان نیز در سطوح علمی بین المللی هستیم.