Tanulj Te is az ELTE IK-n!
Élmény - Közösség - Tudás!
Gulyás László, az ELTE IK egyetemi docense a "Tudományos Kutatás Napja az ELTE-n" rendezvényen tartott előadásában átfogó képet nyújtott az Egyetem mesterséges intelligencia-tevékenységeiről és stratégiai irányairól. Az ELTE kiemelt célként kezeli a hallgatók alapvető MI-jártasságának biztosítását, az oktatók MI-kompetenciáinak fejlesztését. Az intézmény mesterszakot is létrehozott azok számára, akik mélyebb szakmai tudást kívánnak szerezni a területen, valamint átfogó MI-kódexben szabályozta az oktatásban történő felelős technológiahasználatot.
Horpácsi Dániel kutatási területe a nagy megbízhatóságú, formális módszerekkel támogatott szoftvereszközök tervezése és implementációja. Doktori értekezésében a statikus elemzés és a programozási tételek szerepét vizsgálta a refaktorálási lépések (jelentésmegőrző transzformációk) formális leírásában és verifikációjában. Munkássága azóta a programozási és logikai nyelvek matematikai formalizációjára, valamint az ezen leírásokra épített alkalmazások gépileg ellenőrizhető helyességbizonyítására fókuszál. Legújabb kutatásai a szoftveres sérülékenységek formális igazolására, illetve a bizonyítottan helyes programfordítás módszereire terjednek ki.
Június végén újabb öt évre szóló együttműködésben állapodtak meg az ELTE és a magyarországi Bosch csoport képviselői Palkovics László kormánybiztos részvételével. Az ELTE Informatikai Karán a Bosch támogatásával 2020-ban alapították meg Magyarország első mesterséges intelligencia ipari tanszékét, a kutatóbázison és tudásközpontban az egyetemi oktatók a hallgatókkal, továbbá a cég szakembereivel együtt formálják a tudomány és az ipar közös jövőjét. Az együttműködés folytatása új távlatokat nyit a hazai MI-felsőoktatás és a gyakorlatban is alkalmazható, jövőformáló MI-fejlesztések területén. A stratégiai cél hosszú távon, hogy az intézmény Kelet-Közép-Európa legelismertebb alkalmazott mesterséges intelligencia iparitanszékévé váljon.