Skip to main content
Skip header
Name of group: Leader:  
Theoretical Computer Science doc. Ing. Zdeněk Sawa, Ph.D. logo
Department: 460 - Department of Computer Science
Výzkumná témata:
  • Verification of systems
  • Modelling and generating parallel applications
  • Applications of transparent intensional logic
  • Ontologies and knowledge representation (in multiagent systems)
  • E-learning - logic
  • Akademičtí pracovníci: Ing. Marek Běhálek, Ph.D., Mgr. Pavla Dráždilová, 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.
    Vědečtí pracovníci: Ing. Adam Albert, Ing. Michal Fait, Ph.D.
    Doktorandi: Bjorn Thoring Flagstad Jespersen, Ph.D.
    Seznam výsledků výzkumu:
    Prezentace: zobrazit