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.
"Ne jemi të kënaqur të mbështesim INSAIT me një dhuratë 1 milion për ngritjen e një posti profesori në arsyetimin e automatizuar, një fushë me rëndësi të jashtëzakonshme për AWS. INSAIT është një iniciativë emocionuese dhe ne mezi presim të krijojmë lidhje më të ngushta kërkimore dhe bashkëpunimi me studentët dhe fakultetin në institut”, tha zëvendëspresidenti i Shërbimeve Ueb të Amazon, Byron Cook, cituar nga INSAIT.
“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.
