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.