Hallgatóink sikere az Országos TDK konferencián
Hallgatóink jól szerepeltek a XXXII. Országos Tudományos Diákköri Konferencia Informatika Tudományi Szekciójában, ahonnan két darab első, három darab második helyezést és egy jutalmat hoztak el:
- Stein Dániel "Nagyméretű forráskódtárak inkrementális statikus analízise" című munkája első helyezést szerzett a Szoftvertechnológiák szekcióban (konzulens: Szárnyas Gábor, Dr. Ráth István).
- Barta Ágnes és Semeráth Oszkár "Szakterület-specifikus nyelvek konzisztenciaellenőrzése" című előadása első helyezést érdemelt a Rendszertervezés és rendszerfejlesztés szekcióban (konzulens: Szatmári Zoltán, Dr. Horváth Ákos, Dr. Varró Dániel)
- Szárnyas Gábor "Inkrementális gráflekérdezések a felhőben" című dolgozata második helyezést ért el az Algoritmusok szekcióban (konzulens: Izsó Benedek, Dr. Ráth István, Dr. Varró Dániel).
- Segesdi Dániel és Molnár Vince "Múlt és jövő: Új algoritmusok lineáris temporális tulajdonságok szaturáció-alapú modellellenőrzésére" című munkája második helyezést ért el az Alkalmazott Informatika II. szekcióban (konzulens: Vörös András).
- Nagy András Szabolcs "Többcélú optimalizációs módszerek szabály alapú tervezésitér-bejáráshoz" című dolgozata második helyezést ért el az Intelligens informatikai rendszerek szekcióban (konzulens: Dr. Varró Dániel, Dr. Horváth Ákos).
- Horváth Benedek, Konnerth Raimund Andreas és Mázló Zsolt "Elosztott biztonságkritikus rendszerek modellvezérelt fejlesztése" című előadása jutalomban részesült a Rendszertervezés és rendszerfejlesztés szekcióban (konzulens: Vörös András, Dr. Horváth Ákos).
Minden hallgatónknak és konzulenseiknek is gratulálunk!
