Lezajlott az XXXIII. OTDK, melyen az informatika tudományi szekcióban hallgatóink szép eredményeket értek el:
Különdíj:
MAGINECZ JÁNOS
Skálázható inkrementális gráflekérdezések kiértékelése
Konzulens: Szárnyas Gábor, Ráth István, Bergmann Gábor
III. díjasok:
FARKAS REBEKA
Időzített automaták verifikációja CEGAR-alapú algoritmusokkal
Konzulens: Vörös András, Tóth Tamás, Hajdu Ákos
KLENIK ATTILA és MARUSSY KRISTÓF
Aszinkron rendszerek konfigurálható sztochasztikus analízisét támogató keretrendszer
Konzulens: Molnár Vince, Vörös András
PIRKÓ BALÁZS
Akkordfelismerés rejtett Markov-modelles megközelítésben
Konzulens: Bank Balázs
II. díjasok:
SALLAI GYULA
Compiler Optimizations for Software Verification
Konzulens: Tóth Tamás, Hajdu Ákos
PALKÓ ANDRÁS
Spektrumbecslési módszerek adatvesztés esetén
Konzulens: Sujbert László
Gratulálunk a bőséges és kiváló eredményekért!