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., Ing. Martin Kot, Ph.D., Mgr. Marek Menšík, Ph.D., doc. Ing. Zdeněk Sawa, Ph.D., Mgr. Pavla Dráždilová, Ph.D.
    Vědečtí pracovníci: Ing. Adam Albert, Bjorn Thoring Flagstad Jespersen, Ph.D.
    Seznam výsledků výzkumu:
    Prezentace: zobrazit