Name of group: |
Leader: |
|
Theoretical Computer Science
|
doc. Ing. Zdeněk Sawa, Ph.D. |
|
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 |
|