Přeskočit na hlavní obsah
Přeskočit hlavičku
Název skupiny: Vedoucí skupiny:  
Teoretické základy informatiky doc. Ing. Zdeněk Sawa, Ph.D. logo
Katedra: 460 - Katedra informatiky
Výzkumná témata:
  • Verifikace systémů
  • Modelování a generování paralelních aplikací
  • Aplikace transparentní intenzionální logiky
  • Tvorba ontologií a reprezentace znalostí (v multiagentních systémech)
  • E-learning - logika
  • Akademičtí pracovníci: Ing. Marek Běhálek, Ph.D., Prof. RNDr. Marie Duží, CSc., Prof. RNDr. Petr Jančar, CSc., Ing. Martin Kot, Ph.D., Mgr. Marek Menšík, Ph.D., doc. Ing. Zdeněk Sawa, Ph.D., doc. Ing. Zdeněk Sawa, Ph.D., Mgr. Pavla Dráždilová, Ph.D.
    Vědečtí pracovníci: Ing. Michal Fait
    Doktorandi: Bjorn Jespersen
    Seznam výsledků výzkumu:
    Prezentace: zobrazit