Kiemelkedő TDK-eredmények
Csoportunk hallgatói kiemelkedő sikereket értek el az idei kari TDK-konferencián. Összesen 4 első, 1 második, 3 harmadik és 2 jutalom helyezéssel díjazták a csoportunk munkatársai által konzultált dolgozatokat. Külön büszkeség, hogy a Rektori különdíjat is egyik hallgatónk kapta meg.
A díjazott dolgozatok:
-
1. díj, Rektori különdíj. Bajczi Levente: Konkurens programok HW-SW együttes verifikációja (konzulens: Vörös András, Molnár Vince)
-
1. díj. Elekes Márton, Antal János Benjamin: Gráf információs rendszerek összehasonlító teljesítménymérése (konzulens: Szárnyas Gábor, Marton József (TMIT))
-
1. díj. Bekő Mária: Gráfmintaillesztő rendszerek tesztelése automatikus gráfgenerátorokkal (konzulens: Semeráth Oszkár)
-
1. díj. Beöthy Bence: Integrált szoftver életciklus menedzsment gráfadatbázis technológiákkal (konzulens: Dr. Ráth István, Dr. Hegedüs Ábel (IncQuery Labs Kft.))
-
2. díj. Dobos-Kovács Mihály: Modellellenőrzés és tesztelés: egy kombinált megközelítés szoftverek verifikálására (konzulens: Vörös András, Hajdu Ákos)
-
3. díj. Hodvogner Szilvia: Folyamatvizualizáció kiber-fizikai rendszerekben (konzulens: Dr. Pataricza András)
-
3. díj. Nagy Simon: Paraméteres modellellenőrzés folytonos idejű Markov-láncokhoz (konzulens: Marussy Kristóf)
-
3. díj. Bajkai Viktória Dorina: Szorzat absztrakció-alapú stratégiák hatékony szoftver-modellellenőrzéshez (konzulens: Hajdu Ákos)
-
Jutalom. Várhegyi Petra: Multiplex gráfok mátrixalapú elemzése (konzulens: Szárnyas Gábor)
-
Jutalom. Földvári András: Szolgáltatásbiztonság garantálása kiber-fizikai rendszerekben (konzulens: Dr. Pataricza András)
Gratulálunk minden hallgatónknak és a konzulenseknek az eredményes munkához!