| 30.6.2012 | Seminář UITS - plán na léto 2011/2012 a pokyny pro vystupující doktorandy |
| 3.5.2012 | Pavel Zůna, Ibrahim Nahhas a Václav Vopěnka |
| 26.4.2012 | Jiří Král, Radim Luža, Lukáš Charvát, Dominik Malčík a Jan Kněžík |
| 19.4.2012 | Tomáš Richta, David Herman a Dana Lodrová |
| 12.4.2012 | Jan Fajkus, Zdeněk Letko a David Martinek |
| 5.4.2012 | Michal Drozd, Martin Zadina, Jan Nagy a Jakub Žák |
| 22.3.2012 | Václav Valenta, Jan Kopřiva, Michal Kraus a Jan Váňa |
| 8.3.2012 | Jiří Šimáček, Filip Konečný a Radim Dvořák |
| 1.3.2012 | Maroš Barabas, Martin Henzl, Jan Horáček a Peter Jurnečka |
| 23.2.2012 | Kamil Dudka, Ondřej Dluhoš a Josef Hájek |
| 16.2.2012 | Jan Fiedor, Vendula Hrubá a Ondřej Malačka |
| 15.12.2011 | Boris Procházka, Jaroslav Stružka, David Herman a Jan Kněžík |
| 8.12.2011 | Jan Fajkus, Matej Kačic a Martin Tomec |
| 1.12.2011 | Michal Doležel, Ondřej Lengál a Petr Müller |
| 24.11.2011 | David Kubát, Štěpán Mráček a Tomáš Novotný |
| 10.11.2011 | Alexandr Szöllös, Zdenka Winklerová a Václav Šátek |
| 3.11.2011 | Ivars Karpičs, Jan Samek a Jiří Schäfer |
| 20.10.2011 | Představení doktorandů 1 ročníku a jejich témat (část 2) |
| 13.10.2011 | Představení doktorandů 1 ročníku a jejich témat |
| 5.5.2011 | David Kubát, Štěpán Mráček, Tomáš Novotný, Boris Procházka a Jaroslav Stružka |
| 28.4.2011 | Ondřej Dluhoš, Michal Doležel a David Herman |
| 21.4.2011 | Martin Tomec, Zbyněk Michlovský, David Martinek a Petr Müller |
| 14.4.2011 | Jan Fajkus, Matej Kačic, Alexand Szöllös a Pavla Sehnalová |
| 7.4.2011 | Jan Kněžík a Michal Kadák |
| 31.3.2011 | Filip Konečný, Jiří Šimáček, Zdeněk Letko a Ondřej Lengál |
| 24.3.2011 | Dana Hejtmánková a Zdenka Winklerová |
| 17.3.2011 | Jan Kopřiva, Martin Zadina a Radim Dvořák |
| 3.3.2011 | Michal Drozd, Jan Nagy a Lukáš Grulich |
| 24.2.2011 | Jiří Schäfer, Pavel Jurka a Petr Novosad |
| 17.2.2011 | Michal Kraus a Václav Šátek |
| 10.2.2011 | Jaroslav Rozman a Jan Samek |
| 16.12.2010 | Letko Zdeněk, Fiedor Jan, Hrubá Vendula, Gach Marek a Winklerová Zdenka |
| 9.12.2010 | Kadák Michal, Szöllös Alexandr, Valenta Václav a Malačka Ondřej |
| 2.12.2010 | Barabas Maroš, Henzl Martin, Konečný Filip, Šimáček Jiří a Dudka Kamil |
| 25.11.2010 | Kněžík Jan, Dittrich Petr, Hájek Josef, Marvan Aleš a Váňa Jan |
| 18.11.2010 | Horáček Jan, Nagy Jan, Zadina Martin, Jurnečka Peter a Žák Jakub |
| 11.11.2010 | Drozd Michal a Michlovský Zbyněk |
| 4.11.2010 | Novosad Petr, Grulich Lukáš, Kraus Michal, Kopřiva Jan a Sehnalová Pavla |
| 21.10.2010 | Dvořák Radim a Hejtmánková Dana |
| 14.10.2010 | Rozman Jaroslav, Samek Jan a Šátek Václav |
| 7.10.2010 | Smrčka Aleš a Holík Lukáš |
| 13.5.2010 | Szöllös Alexandr: Operační systém specializovaného paralelního procesoru |
| 22.4.2010 | Henzl Martin: Bezpečnostní protokoly bezdrátových sítí, Kadák Michal: Simulace elektronických obvodů v oblasti nanotechnologií, Valenta Václav: Moderní metody řešení soustav parciálních diferenciálních rovnic |
| 15.4.2010 | Váňa Jan: Hybridní rozpoznávání termosnímků obličeje, Žák Jakub: Autonomní agenti v bezdrátových senzorových sítích |
| 8.4.2010 | Marvan Aleš: Inteligentní inspekce a měření dutin válcového průřezu |
| 25.3.2010 | Hájek Josef: Biometrický systém pro rozpoznávání sítnice oka, Horáček Jan: Autonomní agenti v bezdrátových senzorových sítích, Jurnečka Peter: Návrhové vzory v paralelních a distribuovaných systémech, Jurka Pavel: Získávání znalostí z databází |
| 18.3.2010 | Barabas Maroš: Bezpečnostní protokoly bezdrátových sítí, Malačka Ondřej: Důvěra a reputace v distribuovaných systémech, Dittrich Petr: Průběžná identifikace letových parametrů |
| 11.3.2010 | Dudka Kamil: Automatizovaná formální verifikace v operačních systémech, Gach Marek: Verifikace systémů pracujících v reálném čase, Fiedor Jan: Praktické metody automatizované verifikace paralelních programů |
| 4.3.2010 | Šimáček Jiří: Pokročilá verifikace programů s ukazateli pomocí stromových automatů; Bednář Jakub: Navigace inteligentního systému |
| 25.2.2010 | Aleš Pilný (ČVUT): New Algorithms for Feature Ranking, Hýsek Jiří: Formální analýza a verifikace systémů specifikovaných vysokoúrovňovými vizuálními jazyky, Konečný Filip: Symbolická verifikace s využitím rozšířených automatů a příbuzných formalismů, Letko Zdeněk: Analýza a sofistikované testování paralelních programů |
| 18.2.2010 | Jiří Krajíček: Human Inspired Self-developmental Model of Neural Networks (HIM): Introducing Content/Form computing, Nagy Jan: Správa bezpečnosti v rozsáhlých sítích, Holenda Stanislav: Asistenční systém pro motorová vozidla |
| 11.2.2010 | Dvořák Radim: Fyzikální modelování a simulace, Hejtmánková Dana: Bezpečnost biometrických systémů |
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)