Forthcoming Defenses
František Blahoudek – Automata for Formal Methods: Little Steps Towards PerfectionFilip Mravec – Numerical Processing of Spectrometric Data - 18. 6. 2018, 14:00
Petr Velan – Application-Aware Flow Monitoring
Doctoral Study Graduates
Year 2018
M. Balážia, P. Bezděk, J. Fousek, Ľ. Korenčiak, A. Kučera, J. Papoušek, J. Pazúriková, M. Růžička, J. Řihák, D. Tovarňák
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