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!