A szerző(k) neve Képzés típusa A TDK-pályamunka címe Témavezető(k) neve Helyezés
Lukacs Dániel MSc Recovering high-level control structures from Erlang source dependencies in BEAM bytecode Tóth Melinda I.
Kovács Gábor Ferenc MSc Static analysis of executable UML models to ensure safe parallelization Dévai Gergely III.
Nagy Vendel BSc Kódtranszformáció Big Data rendszerek között Scalában Dr. Kozsik Tamás Dicséret
Szécsi Péter BSc Nagy szoftverrendszerek átfogó vizsgálata szimbolikus végrehajtás segítségével Dr. Porkoláb Zoltán, Horváth Gábor II.
Kovács András MSc A Machine-Checked Correctness Proof of Normalization by Evaluation for Simply Typed Lambda Calculus Dr. Kaposi Ambrus I.