Amazon Web Services донирао је милион долара Институту за рачунарске науке, вештачку интелигенцију и технологије (INSAIT) Софијског универзитета „Свети Климент Охридски“, саопштило је Министарство образовања. Средства која се додељују за показану изврсност и потенцијал за раст намењена су за истраживања у области формалних метода. Из ових средстава такође ће се обезбедити плате којима би се привукли водећи истраживачи, као и стипендије за докторанде и студенте.

Донација ће означити почетак стратешког партнерства између INSAIT-ових истраживача и инжењера и Amazon Web Services. INSAIT је први истраживачки институт светске класе у источној Европи, креиран по узору на водеће светске истраживачке центре, а своје место нашао је и у глобалном савезу за унапређење вештачке интелигенције (AI алијанса) који су покренули Meta и IBM.