Hallgatóink sikere a kari TDK konferencián

Hallgatóink jól szerepeltek a kari Tudományos Diákköri Konferencián, ahonnan két 1. helyezést, négy 2. helyezést, három 3. helyezést hoztak el.

1. díjat ért el:

• Farkas Rebeka: Időzített automaták verifikációja CEGAR-alapú algoritmusokkal
  Konzulensek: Vörös András, Tóth Tamás, Hajdu Ákos
  Szimuláció és modellezés szekció 
• Sallai Gyula: Fordító optimalizációk szoftver verifikációhoz
  Konzulensek: Tóth Tamás, Hajdu Ákos
  Szoftver szekció

2. díjat ért el:

• Czipó Bence: Hierarchikus absztrakció alkalmazása állapot alapú rendszerek ellenőrzésére
  Konzulensek: Hajdu Ákos, Tóth Tamás
  Információs rendszerek szekció
• Elekes Márton, Gujgiczer Anna: Absztrakcióval támogatott tanulás regressziós tesztelés támogatására
  Konzulensek: Vörös András, Semeráth Oszkár
  Információs rendszerek szekció
• Tóth Krisztián, Szilágyi Gábor: Kiberfizikai rendszerek gráfmintaillesztés alapú elosztott ellenőrzése futási időben
  Konzulensek: Búr Márton, Szárnyas Gábor, Vörös András
  Intelligens rendszerek szekció
• Stein Dániel: Dinamikusan tipizált nyelvek gráfalapú statikus analízise
  Konzulensek: Szárnyas Gábor, Honfi Dávid, Lippai Ádám
  Szoftver szekció

3. díjat ért el:

• Graics Bence: Komponens-alapú reaktív rendszerek modellvezérelt tervezése és ellenőrzése
  Konzulensek: Molnár Vince, Vörös András
  Szimuláció és modellezés szekció
• Sólyom Alexandra: Tesztkörnyezetek előállítása automatikus szabályalapú modellgenerálás segítségével
  Konzulensek: Semeráth Oszkár, Nagy András Szabolcs, Szárnyas Gábor
  Intelligens rendszerek szekció
• Várallyay Sámuel, Somos Gergő, Badó Dávid: Precíziós óraszinkronizáció és alkalmazása vezeték nélküli szenzorhálózatban
  Konzulensek: Kovácsházy Tamás, Vörös András
  Jelfeldolgozás szekció

Minden hallgatónknak és konzulenseiknek is gratulálunk!