Hallgatóink sikere a kari TDK konferencián

Hallgatóink jól szerepeltek a kari Tudományos Diákköri Konferencián, ahonnan négy 1. helyezést, négy 2. helyezést, két 3. helyezést, két jutalmat és egy Rektori Különdíjat hoztak el.

1. díjat ért el és Rektori Különdíjban részült:

• Marussy Kristóf, Klenik Attila: Aszinkron rendszerek konfigurálható sztochasztikus analízisét támogató keretrendszer
  Konzulensek: Molnár Vince, Dr. Telek Miklós, Vörös András 
  Modellezés és szimuláció téma 

1. díjat ért el:

• Élő Dániel, Soltész Adrián: Szimbolikus modellellenőrzés és végrehajtási szekvencia generálás vezérelt kereséssel 
  Konzulensek: Molnár Vince, Vörös András 
  Szoftver téma 
• Kővári Zsolt: Gráflekérdezések teljesítményelemzése
  Konzulensek: Dr. Ráth István, Szárnyas Gábor 
  Intelligens rendszerek téma 
• Maginecz János: Skálázható inkrementális gráflekérdezések kiértékelése
  Konzulensek: Dr. Ráth István, Szárnyas Gábor, Dr. Bergmann Gábor
  Információs rendszerek téma 

2. díjat ért el:

• Urbán Balázs, Szilvásy Noémi: Adatelemzési folyamatok diagnosztikája és adatminőségérzékenység-elemzése
  Konzulensek: Gönczy László, Kocsis Imre 
  Intelligens rendszerek téma 
• Molnár Gábor: Általános regressziós tesztelő módszer modellalapú fejlesztéshez
  Konzulens:  Dr. Micskei Zoltán
  Szoftver téma 
• Zilahi Dávid: Privát felhők szolgáltatásbiztonságra optimalizálása és modell-vezérelt terítése
  Konzulens: Kocsis Imre 
  Információs rendszerek téma 
• Hegyi Bálint Bence, Balogh László Márk, Deé Flórián: Hierarchikus futásidejű verifikáció kritikus kiberfizikai rendszerekhez
  Konzulensek: Dr. Varró Dániel, Vörös András, Dr. Ráth István
  Szoftver téma 

3. díjat ért el:

• Koncz Viktória: Numerikus algoritmus finomhangolása
  Konzulens: Dr. Pataricza András
  Modellezés és szimuláció téma 
• Cseh Dávid: Kritikus felhőalkalmazások szolgáltatásbiztonságának kockázat vezérelt kiértékelése
  Konzulensek: Bozóki Szilárd, Kocsis Imre 
  Információs rendszerek téma 

Jutalomban részült:

• Lengyel Ádám: Nézeti modellek egyszerűsített, kétirányú szinkronizációja
  Konzulensek: Dr. Horváth Ákos, Semeráth Oszkár, Debreceni Csaba 
  Szoftver téma 
• Bártfay György: Biztonsági követelmények minta alapú formalizálása
  Konzulens: Dr. Majzik István
  Szoftver téma 

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