Cílem studijního programu je poskytnout vynikajícím absolventům magisterského studia specializované univerzitní vzdělání nejvyššího typu ve vybraných oblastech informatiky, vypočetní techniky a informačních technologií. Toto vzdělání zahrnuje také průpravu a atestaci k vědecké práci.

• Absolvent doktorského studia je schopen samostatné vědecké, výzkumné a řídicí práce v oblasti informatiky, výpočetní techniky a informačních technologií. Je připraven řešit náročné koncepční, výzkumné a vývojové problémy. V praxi je schopen samostatně vést výzkum, vývoj a výrobu v oblasti moderních informačních technologií.
  
• Nachází uplatnění jako tvůrčí pracovník na špičkových vědeckovýzkumných pracovištích, jako vedoucí výzkumných a vývojových týmů a též ve vědecké a pedagogické práci na vysokých školách. Absolventi tohoto programu se mohou také uplatnit při obsazování vyšších funkčních pozic v některých větších institucích a firmách, kde je vyžadována schopnost samostatně tvořivě pracovat, analyzovat složité problémy a navrhovat a realizovat nová, originální řešení.

prof. RNDr. Milan Češka, CSc.

1. Agentní platforma pro Smalltalk

   podrobný popis

   Školitel: Janoušek Vladimír, doc. Ing., Ph.D.

2. Algoritmy zpracování obrazu a signálu v hardware

   podrobný popis

   Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

3. Algoritmy zpracování obrazu a signálu v hardware

   podrobný popis

   Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

4. Alternativní prostředky pro vývoj aplikací pro OS Android

   podrobný popis

   Školitel: Janoušek Vladimír, doc. Ing., Ph.D.

5. Analýza číslicového systému - identifikace bodů ovlivňujících spolehlivost

   podrobný popis

   Školitel: Kotásek Zdeněk, doc. Ing., CSc.

6. Analýza konečnosti běhu programů s dynamickými datovými strukturami

   podrobný popis

   Školitel: Češka Milan, prof. RNDr., CSc.

7. Analýza modelu procesoru

   podrobný popis

   Školitel: Hruška Tomáš, prof. Ing., CSc.

8. Analýza útoků na bezdrátové lokální sítě

   podrobný popis

   Školitel: Hanáček Petr, doc. Dr. Ing.

9. Analýza útoků na bezdrátové lokální sítě

   podrobný popis

   Školitel: Hanáček Petr, doc. Dr. Ing.

10. Architektury vysoce spolehlivých pamětí

    podrobný popis

    Školitel: Drábek Vladimír, doc. Ing., CSc.

11. Automatická konstrukce hlídacích obvodů s částečným pokrytím pro číslicové systémy

    podrobný popis

    Školitel: Kotásek Zdeněk, doc. Ing., CSc.

12. Automatická 3D segmentace tkání na základě medicínských obrazových dat

    podrobný popis

    Školitel: Kršek Přemysl, doc. Ing., Ph.D.

13. Automatické a semiautomatické "tagování" fotografií

    podrobný popis

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

14. Automatický převod 3D polygonálních modelů na T-spline plochy

    podrobný popis

    Školitel: Kršek Přemysl, doc. Ing., Ph.D.

15. Automatizace využití výsledků simulace pro účely verifikace funkčnosti

    podrobný popis

    Školitel: Kotásek Zdeněk, doc. Ing., CSc.

16. Automatizovaná formální verifikace programů se složitými datovými a/nebo řídicími strukturami

    podrobný popis

    Školitel: Vojnar Tomáš, prof. Ing., Ph.D.

17. Automatizovaná syntéza Petriho sítí

    podrobný popis

    Školitel: Češka Milan, prof. RNDr., CSc.

18. Automatizovaná tvorba kontextových gramatik

    podrobný popis

    Školitel: Kolář Dušan, doc. Dr. Ing.

19. Automatizované prostředky návrhu systémů s využitím Petriho sítí

    podrobný popis

    Školitel: Češka Milan, prof. RNDr., CSc.

20. Detekce a lokalizace objektu v obraze a videu

    podrobný popis

    Školitel: Herout Adam, prof. Ing., Ph.D.

21. Detekce útoků na počítačové systémy a automatické zpracování škodlivých programů

    podrobný popis

    Školitel: Hanáček Petr, doc. Dr. Ing.

22. Detekce útoků v síťovém provozu

    podrobný popis

    Školitel: Hanáček Petr, doc. Dr. Ing.

23. Digitální výroba reálných modelů 3D objektů

    podrobný popis

    Školitel: Kršek Přemysl, doc. Ing., Ph.D.

24. Dobývání znalostí z astronomických dat

    podrobný popis

    Školitel: Smrž Pavel, doc. RNDr., Ph.D.

25. Dolování v grafech

    podrobný popis

    Školitel: Zendulka Jaroslav, doc. Ing., CSc.

26. Elektronické slovníky a jejich automatická tvorba

    podrobný popis

    Školitel: Smrž Pavel, doc. RNDr., Ph.D.

27. Extrakce informací z textu

    podrobný popis

    Školitel: Smrž Pavel, doc. RNDr., Ph.D.

28. Extrakce příznaků, klasifikace a rozpoznávání

    podrobný popis

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

29. Extrakce příznaků, klasifikace a rozpoznávání

    podrobný popis

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

30. Extrakce vysokoúrovňových rysů ve videu

    podrobný popis

    Školitel: Zendulka Jaroslav, doc. Ing., CSc.

31. Formální analýza a verifikace systémů specifikovaných vysokoúrovňovými vizuálními jazyky

    podrobný popis

    Školitel: Češka Milan, prof. RNDr., CSc.

32. Formální metody v evolučním návrhu a optimalizaci

    podrobný popis

    Školitel: Sekanina Lukáš, prof. Ing., Ph.D.

33. Formální modely distribuovaného výpočtu

    podrobný popis

    Školitel: Meduna Alexandr, prof. RNDr., CSc.

34. Formální modely výpočetní kooperace.

    podrobný popis

    Školitel: Meduna Alexandr, prof. RNDr., CSc.

35. Fraktální pole markerů

    podrobný popis

    Školitel: Herout Adam, prof. Ing., Ph.D.

36. Generátor vědeckých webových portálů

    podrobný popis

    Školitel: Smrž Pavel, doc. RNDr., Ph.D.

37. Grafické prototypování vestavěných systémů

    podrobný popis

    Školitel: Hruška Tomáš, prof. Ing., CSc.

38. Grafický návrh vestavěných systémů

    podrobný popis

    Školitel: Hruška Tomáš, prof. Ing., CSc.

39. Grafika a zpracování obrazu na výkonných počítačích

    podrobný popis

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

40. Hardwarová akcelerace zpracování 3D dat v medicínských aplikacích

    podrobný popis

    Školitel: Kršek Přemysl, doc. Ing., Ph.D.

41. Hardwarové architektury pro systémy s nízkou latencí

    podrobný popis

    Školitel: Fučík Otto, doc. Dr. Ing.

42. Hardwarové architektury pro systémy s nízkou latencí

    podrobný popis

    Školitel: Fučík Otto, doc. Dr. Ing.

43. Hybridní řízení letu

    podrobný popis

    Školitel: Černocký Jan, prof. Dr. Ing.

44. Hybridní řízení letu

    podrobný popis

    Školitel: Černocký Jan, prof. Dr. Ing.

45. Interaktivní segmentace prostorových medicínských obrazových dat

    podrobný popis

    Školitel: Kršek Přemysl, doc. Ing., Ph.D.

46. Invazivní metody útoků na čipy

    podrobný popis

    Školitel: Drahanský Martin, prof. Ing., Ph.D.

47. Komprese prostorových medicínských obrazových dat

    podrobný popis

    Školitel: Kršek Přemysl, doc. Ing., Ph.D.

48. Kyberneticko-fyzikální systémy

    podrobný popis

    Školitel: Švéda Miroslav, prof. Ing., CSc.

49. Ladění optimalizovaného kódu

    podrobný popis

    Školitel: Hruška Tomáš, prof. Ing., CSc.

50. Metody formální verifikace založené na celočíselném programování.

    podrobný popis

    Školitel: Češka Milan, prof. RNDr., CSc.

51. Metody simulačního ověřování softwarových systémů

    podrobný popis

    Školitel: Janoušek Vladimír, doc. Ing., Ph.D.

52. Metody transformace modelů softwarových systémů

    podrobný popis

    Školitel: Janoušek Vladimír, doc. Ing., Ph.D.

53. Mnohojádrové architektury

    podrobný popis

    Školitel: Dvořák Václav, prof. Ing., DrSc.

54. Modelování workflow procesů

    podrobný popis

    Školitel: Hruška Tomáš, prof. Ing., CSc.

55. Moderní metody generování jazyků

    podrobný popis

    Školitel: Meduna Alexandr, prof. RNDr., CSc.

56. Moderní metody modelování a simulace elektronických obvodů

    podrobný popis

    Školitel: Kunovský Jiří, doc. Ing., CSc.

57. Moderní metody překladu jazyků

    podrobný popis

    Školitel: Meduna Alexandr, prof. RNDr., CSc.

58. Monitorování, řízení a optimalizace procesů s využitím rekonfigurovatelných Petriho sítí

    podrobný popis

    Školitel: Janoušek Vladimír, doc. Ing., Ph.D.

59. Možnosti využití časové redundance při konstrukci systémů odolných proti poruchám

    podrobný popis

    Školitel: Kotásek Zdeněk, doc. Ing., CSc.

60. Na Petriho sítích založený vývoj inteligentních agentů

    podrobný popis

    Školitel: Janoušek Vladimír, doc. Ing., Ph.D.

61. Návrh spolehlivých síťových aplikací

    podrobný popis

    Školitel: Kotásek Zdeněk, doc. Ing., CSc.

62. Nekonvenční elektronika ve výpočetních systémech

    podrobný popis

    Školitel: Sekanina Lukáš, prof. Ing., Ph.D.

63. Nové trendy v numerickém řešení diferenciálních rovnic

    podrobný popis

    Školitel: Kunovský Jiří, doc. Ing., CSc.

64. On-line identifikace parametrů letounu

    podrobný popis

    Školitel: Černocký Jan, prof. Dr. Ing.

65. Optimalizace kompilátoru jazyka C zaměřené na spotřebu energie

    podrobný popis

    Školitel: Hruška Tomáš, prof. Ing., CSc.

66. Optimalizace kumulativních rizik při alokaci portfolia

    podrobný popis

    Školitel: Kreslíková Jitka, doc. RNDr., CSc.

67. Optimalizace letové trajektorie

    podrobný popis

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

68. Optimalizace povrchových polygonálních modelů

    podrobný popis

    Školitel: Kršek Přemysl, doc. Ing., Ph.D.

69. Optimalizace ve funkcionálních jazycích

    podrobný popis

    Školitel: Kolář Dušan, doc. Dr. Ing.

70. Optimalizace zpracování 3D medicínských obrazových dat

    podrobný popis

    Školitel: Kršek Přemysl, doc. Ing., Ph.D.

71. Optimalizační výpočty

    podrobný popis

    Školitel: Kunovský Jiří, doc. Ing., CSc.

72. Paralelní analýza kontextových jazyků

    podrobný popis

    Školitel: Kolář Dušan, doc. Dr. Ing.

73. Paralelní spolupráce na principu numerických integračních metod Runge-Kutta

    podrobný popis

    Školitel: Kunovský Jiří, doc. Ing., CSc.

74. Petriho sítě v návrhu a vývoji systémů

    podrobný popis

    Školitel: Janoušek Vladimír, doc. Ing., Ph.D.

75. Počítačové vidění na grafických procesorech

    podrobný popis

    Školitel: Herout Adam, prof. Ing., Ph.D.

76. Pokročilé metody simulace vestavěných systémů

    podrobný popis

    Školitel: Hruška Tomáš, prof. Ing., CSc.

77. Pokročilé metody zobrazování v reálném čase

    podrobný popis

    Školitel: Herout Adam, prof. Ing., Ph.D.

78. Pokročilé metody zobrazování v reálném čase

    podrobný popis

    Školitel: Herout Adam, prof. Ing., Ph.D.

79. Programování víceprocesorových systémů

    podrobný popis

    Školitel: Hruška Tomáš, prof. Ing., CSc.

80. Prostředí pro průmyslové aplikace založené na distribuované architektuře a operačním systému typu RT Unix

    podrobný popis

    Školitel: Švéda Miroslav, prof. Ing., CSc.

81. Regulované formální systémy

    podrobný popis

    Školitel: Meduna Alexandr, prof. RNDr., CSc.

82. Rekonfigurovatelný kompilátor jazyka C pro DSP architektury

    podrobný popis

    Školitel: Hruška Tomáš, prof. Ing., CSc.

83. Rekonstrukce 3D objektů na základě série snímků scény

    podrobný popis

    Školitel: Kršek Přemysl, doc. Ing., Ph.D.

84. Rekonstrukce 3D scény z obrazů a/nebo videa

    podrobný popis

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

85. Rozpoznávání obrazu a strojové učení v servisní robotice

    podrobný popis

    Školitel: Smrž Pavel, doc. RNDr., Ph.D.

86. Rozpoznávání 3D objektů

    podrobný popis

    Školitel: Zbořil František, doc. Ing., CSc.

87. Rozšířená realita na mobilních zařízeních

    podrobný popis

    Školitel: Herout Adam, prof. Ing., Ph.D.

88. Řízení dynamických systémů v reálném čase

    podrobný popis

    Školitel: Kunovský Jiří, doc. Ing., CSc.

89. Sémantický web a technologie Webu 2.0

    podrobný popis

    Školitel: Smrž Pavel, doc. RNDr., Ph.D.

90. Seriózní hry

    podrobný popis

    Školitel: Smrž Pavel, doc. RNDr., Ph.D.

91. Simulace víceprocesorových systémů na čipu

    podrobný popis

    Školitel: Hruška Tomáš, prof. Ing., CSc.

92. Stereometrické měření větších vzdáleností

    podrobný popis

    Školitel: Drahanský Martin, prof. Ing., Ph.D.

93. Synchronizace systému odolného proti poruchám po vzniku poruchy a její opravě

    podrobný popis

    Školitel: Kotásek Zdeněk, doc. Ing., CSc.

94. Syntéza proveditelného kódu založená na pragmatech pro generované aplikačně specifické vícejádrové architektury

    podrobný popis

    Školitel: Hruška Tomáš, prof. Ing., CSc.

95. Transformační techniky jazyka C do VHDL

    podrobný popis

    Školitel: Hruška Tomáš, prof. Ing., CSc.

96. Umělí agenti pro bezdrátové senzorové sítě

    podrobný popis

    Školitel: Zbořil František, doc. Ing., CSc.

97. Uživatelská rozhraní založená na "eye tracking" a "body tracking"

    podrobný popis

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

98. Uživatelská rozhraní založená na "eye tracking" a "body tracking"

    podrobný popis

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

99. Uživatelská rozhraní založená na "eye tracking" a "body tracking"

    podrobný popis

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

100. Vektorová aproximace prostorových medicínských obrazových dat

     podrobný popis

     Školitel: Kršek Přemysl, doc. Ing., Ph.D.

101. Vizualizace prostorových medicínských obrazových dat

     podrobný popis

     Školitel: Kršek Přemysl, doc. Ing., Ph.D.

102. Vizuální rozhraní pro zvýšení bezpečnosti letového provozu

     podrobný popis

     Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

103. Vyhledávání v řečových datech pomocí akustických vzorů

     podrobný popis

     Školitel: Černocký Jan, prof. Dr. Ing.

104. Vyhledávání v řečových datech pomocí akustických vzorů

     podrobný popis

     Školitel: Černocký Jan, prof. Dr. Ing.

105. Výpočetní paralelismus a teorie formálních jazyků

     podrobný popis

     Školitel: Meduna Alexandr, prof. RNDr., CSc.

106. Vysoce výkonné počítání pro sémantický web

     podrobný popis

     Školitel: Smrž Pavel, doc. RNDr., Ph.D.

107. Využití moderních GPU pro obecné výpočty

     podrobný popis

     Školitel: Smrž Pavel, doc. RNDr., Ph.D.

108. Využití principů on - line rekonfigurace při návrhu systémů odolných proti poruchám

     podrobný popis

     Školitel: Kotásek Zdeněk, doc. Ing., CSc.

109. Vývoj distribuovaných softwarových systémů na bázi Petriho sítí a agentů

     podrobný popis

     Školitel: Janoušek Vladimír, doc. Ing., Ph.D.

110. Webové služby a komponentní technologie

     podrobný popis

     Školitel: Smrž Pavel, doc. RNDr., Ph.D.

111. Zvýšení bezpečnosti v prostředí Internetu analýzou šíření malware (společný projekt s AVG)

     podrobný popis

     Školitel: Hruška Tomáš, prof. Ing., CSc.

112. Zvýšení bezpečnosti v prostředí Internetu analýzou šíření malware (společný projekt s AVG)

     podrobný popis

     Školitel: Hruška Tomáš, prof. Ing., CSc.

113. 3D interaktivní kolaborativní systém

     podrobný popis

     Školitel: Kršek Přemysl, doc. Ing., Ph.D.

114. 3D modelování lidských tkání na základě medicínských obrazových dat

     podrobný popis

     Školitel: Kršek Přemysl, doc. Ing., Ph.D.