Amazon Web Services po dhuron 1 milion dollarë për Institutin për Shkenca Kompjuterike, Inteligjencë Artificiale dhe Teknologji (INSAIT) në Universitetin e Sofjes, tha të enjten qendra e shtypit e Ministrisë së Arsimit.
Fondet po vihen në dispozicion për përsosmëri të demonstruar dhe potencial rritjeje, dhe do të përdoren për kërkime në metoda formale. Fondet do të mbështesin gjithashtu pagat për studiuesit dhe bursat për studentët e doktoratës dhe studentët në institut. Krahas kësaj, po fillon edhe një partneritet strategjik midis studiuesve dhe inxhinierëve të INSAIT dhe Shërbimeve të Uebit të Amazon.
“Arsyetimi i automatizuar nuk është vetëm një fushë themelore e shkencës kompjuterike me një histori të historisë, por një rëndësi praktike në rritje në një gamë të gjerë fushash, duke përfshirë sigurinë, inteligjencës artificiale të besueshme, robotikën dhe shumë të tjera. Është e vetmja metodë e njohur matematikore në gjendje të ofrojë garanci të plota të certifikimit ndërsa shkallëzohet në sistemet e botës reale. Ne jemi jashtëzakonisht të ngazëllyer që marrim këtë mbështetje fantastike nga AWS dhe të njoftojmë se INSAIT tani po zgjeron shtrirjen e saj në këtë hapësirë,” tha Martin Vechev, themelues dhe drejtor shkencor i INSAIT-it. /BTA