Forthcoming Defenses
Martin Jonáš – Satisfiability of Quantified Bit-Vector Formulas: Theory and PracticeTereza Pařilová – DysTexia: An Assistive System for People with Dyslexia
Vlasta Šťavová – On selected end-user issues in usable security
Doctoral Study Graduates
Year 2019
M. Brož,
I. Ghafir,
T. Jirsík,
F. Nálepa,
R. Ošťádal,
K. Vaculík
Year 2018
M. Balážia, F. Blahoudek, P. Bezděk, J. Fousek, Ľ. Korenčiak, A. Kučera, F. Mravec, J. Papoušek, J. Pazúriková, M. Růžička, J. Řihák, D. Tovarňák, P. Velan
Year 2017
T. Babiak, H. Bydžovská, M. Jakubíček, A. Jurčík, J. Matela, M. Stehlik, Š. Suchomel
Year 2016
V. Baisa, P. Bauch, V. Bystrý, J. Byška, J. Gajarský, J. Géryk, M. Komenda, A. Pavelka, V. Rusňák, R. Stoklasa, K. Štěpka, J. Valčík
Year 2015
V. Bukač, M. Drašar, F. Jurnečka, J. Kasprzak, J. Kolář, D. Kouřil, T. Ludík, T. Majtner, P. Novotný, M. Pivoluska, M. Procházka, A. Rambousek, P. Ročkai, D. Sehnal, M. Svoreňová, P. Troubil, M. Vinkler, J. Vlach
Year 2014
M. Amiri, T. Homola, P. Karas, V. Kovář, J. Krčál, J. Křetínský, J. Kůr, Z. Matěj, J. Materna, Z. Nevěřilová, J. Plhák, J. Slabý, O. Strnad, M. Trtík
Year 2013
P. Budíková, J. Chmelík, J. Filipovič, M. Grác, P. Jarušek, P. Kosina, P. Minařík, M. Tsikerdekis, J. Tůmová, J. Vykopal
Year 2012
N. Beneš, M. Češka, O. Daněk, R. Ganian, M. Kuba, Š. Řeřucha, A. Stetsko
Year 2011
B. Kozlíková, V. Krmíček, D. Klusáček, R. Řehůřek, J. Pomikálek, P. Komárková, T. Gregar, M. Maška, I. Fialík, J. Chaloupka, P. Beneš, P. Drášil, V. Ulman, S. L. Brázdilová, J. Sedmidubský
Year 2010
M. Liška, P. Medek, P. Šimeček, P. Šmerk
Year 2009
V. Forejt, T. Rebok, V. Brožek, J. Pavlovič, P. Moravcová Vařeková, M. Kumpošt, J. Krhovják, J. Blaťák, T. Hudík, I. Peterlík, P. Švenda
Year 2008
D. Novák, J. Šprojcar, B. Zimmerová, P. Moravec, L. Pokluda, J. Hubený, V. Kadlec, J. Carrillo Ugalde
Year 2007
H. Mlnařík, V. Kovalčík, L. Hejtmánek, S. Bartoň, T. Brázdil, V. Řehák, M. Křipač, F. Procházka, M. Kubásek
Year 2006
D. Šafránek, M. Batko, D. Antoš, R. Pelánek, L. Bártek, P. Kolčárek
Year 2005
J. Flasar, P. Holub, J. Pešl, A. Křenek, P. Sojka, R. Sedláček, J. Srba, M. Veber, J. Strejček, J. Barnat