Fórum, nem csak verseny

„Az OTDK bár formailag verseny, valójában inkább fórum: a kreativitás fóruma” – fogalmazott Zaránd Gergely, a BME tudományos rektorhelyettese a rendezvény záróünnepségén. Kiemelte, hogy több tagozatban is foglalkoztak azzal a kérdéssel, vajon kiválthatja-e az emberi kreativitást a mesterséges intelligencia. „Én hiszek abban, hogy nem” – tette hozzá, kiemelve, hogy ezekre a kérdésekre azok a hallgatók fognak választ adni, akik a közönség soraiban ülnek.

Zaránd Gergely (Fotó: SPOT fotókör)

A kutatástól a közösségig: élmények a színfalak mögött

A rendezvény hátterét többek között elkötelezett hallgatókból álló csapat biztosította. Bajczi Leventét, a szervezőbizottság tagját kérdeztük a feladatairól: „Én hallgatói képviselőként vettem részt az OTDK szervezésében. Főként a bíráltatás koordinálásával és a hallgatói érdekek képviseletével foglalkoztam, ami néha vitás helyzeteket is hozott, de ezeket sikerült megoldani. Ez volt az első alkalom, hogy szervezőként vettem részt, korábban háromszor versenyzőként, egyszer konzulensként voltam jelen. Bár a szervezés főként a véghajrában megterhelő volt, összességében jól sikerült a rendezvény. Nagy élmény volt belülről látni, hogyan működik egy ekkora konferencia – különösen úgy, hogy szponzori forrásokból, részvételi díj nélkül valósult meg.”

A szakmai programokat színvonalas esti események – hangverseny, borkóstoló, gálavacsora – egészítették ki, amelyek segítettek oldani a versenyhelyzet feszültségét.

Borkóstoló (Fotó: SPOT fotókör)

Zavada Ármin, aki korábban két alkalommal is második helyezett lett a TDK-n, harmadik nekifutásra meg is nyerte azt, így idén doktoranduszként, a BME Kritikus Rendszerek Kutatócsoport tagjaként érkezett a konferenciára, hogy bemutathassa a témáját: „Szerintem az OTDK és általában véve a TDK is kiváló lehetőséget nyújt arra, hogy az ember fejlessze az előadói készségeit. Ha visszagondolok az első TDK-s szereplésemre, még most is emlékszem, mennyire izgultam – és bár az izgalom most is megvan, a két szereplés már nem összehasonlítható. Azóta sokkal nagyobb rutint szereztem abban, hogyan álljak ki, hogyan adjam elő a mondanivalómat. Úgy érzem, bármennyire is jó szakember valaki, akármilyen kiváló ötletei is vannak, ha nem tudja azokat érthetően, meggyőzően átadni másoknak, akkor azok mit sem érnek. Nekem ebben segített a legtöbbet a TDK és az OTDK: abban, hogy megtanuljam, hogyan tegyem elérhetővé és befogadhatóvá a tudásomat mások számára.”

Zavada Ármin a díjátadókkal (Fotó: SPOT fotókör)

A résztvevők közül többen is megerősítették, hogy az OTDK nemcsak szakmai fejlődést jelentett számukra, hanem egyfajta inspirációt is. Fiák Ádám, a BME mesterképzésre járó hallgatója, aki a Szoftvertechnológia 1 tagozatban mérettette meg magát, úgy fogalmazott: „Én egy olyan szekcióban szerepeltem, ahol több különböző területről érkeztek az előadók, és ez kifejezetten tetszett, hogy nem csak egyetlen témáról hallottunk sokat, hanem olyan területekre is betekintést nyerhettünk, amelyekről eddig kevesebbet hallottunk. Nagyon érdekes előadások voltak.”

A záróünnepség közönsége (Fotó: SPOT fotókör)

Komoly témák – hosszú távú tervek

A konferencia résztvevői számos komoly kutatási témával készültek. A mesterséges intelligenciától a formális verifikációig széles volt a spektrum, de közös nevező volt a kutatási mélység és az elköteleződés.

Telbisz Csanád, a BME Mesterséges Intelligencia és Rendszertervezés Tanszéken a Kritikus Rendszerek Kutatócsoport hallgatójaként a Formális Módszerek tagozat első helyezettje lett idén. Témája a Párhuzamos programok hatékony és tanúsítható verifikációja volt. Csanád azt sajnálta, hogy nem tudott több előadáson részt venni: „Kicsit sajnáltam, hogy a párhuzamosan futó tagozatok miatt nem tudtam annyi előadást meghallgatni, mint szerettem volna – több téma is érdekelt volna. A hangulat kicsit formálisabb volt, mint amit nemzetközi konferenciákon megszoktam, ahol szerintem könnyebben át lehet menni egyik szekcióból a másikba. Ilyen tekintetben támogatnám, hogy az OTDK a hangulata egy kicsit lazább legyen.”

Telbisz Csanád a díjátadókkal (Fotó: SPOT fotókör)

Hibamentes rendszerek nyomában – amikor a matematika a biztonságot szolgálja

Somorjai Márk, aki jelenleg a müncheni Ludwig Maximilian Egyetem doktorandusza, az Automatikus kontraktus szintézis deduktív verifikációhoz című pályamunkájával nyerte meg a Szoftvertechnológia 2 tagozatot.

Márk így mesélt nekünk a témájáról: „A kutatásom a formális verifikáció területéhez tartozik, amelynek célja, hogy matematikai módszerekkel bizonyítsuk, egy rendszer megbízhatóan és hibamentesen működik. Ez különösen fontos például a repülőgépek vagy autók vezérlőrendszereinél, ahol egy programhiba akár súlyos következményekkel is járhat. A formális verifikáción belül két fő megközelítés létezik. Az egyik a modellellenőrzés, ahol a rendszer minden lehetséges állapotát végignézzük, és azt vizsgáljuk, előfordulhat-e hibás működés. A másik a deduktív verifikáció, amely logikai levezetéseken alapul – ha bizonyos feltételek teljesülnek, abból levezethető, hogy a rendszer helyesen fog működni. A kutatásomban ezt a két módszert próbálom hatékonyan kombinálni. Ehhez úgynevezett kontraktusnyelvet használok, amely segít abban, hogy az egyik módszerből származó információkat át lehessen vinni a másikba.”

Somorjai Márk a díjátadókkal (Fotó: SPOT fotókör)

A csúcson túl is van folytatás

A konferencia végén Németh Géza ügyvezető elnök emlékeztetett: „Az OTDK az informatikus hallgatók Bajnokok Ligája: aki ide eljutott, már bajnoknak tekintheti magát.” 

A stafétát ezután átadták a következő házigazdának, a Pázmány Péter Katolikus Egyetem képviselőjének.

A staféta átadása (Fotó: SPOT fotókör)

Az idei Informatikatudományi szekcióban 66 helyezést és 33 különdíjat osztottak ki. A BME hallgatói különösen eredményesen szerepeltek: 56 pályamunkából 44-et díjaztak, de több más intézmény is kimagasló eredményt ért el, például az ELTE 30 díjazott dolgozattal.

A díjak mellett az is fontos üzenet volt, hogy a kutatási munka itt nem ér véget. Szabó István, az OTDT stratégiai főtanácsadója így bátorította a hallgatókat: „A dolgozatokat érdemes továbbvinni az innovációs OTDK-ra – aki nyert, annak azért, aki nem nyert, annak meg azért.”

(Fotó: SPOT fotókör)