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!