Název skupiny: |
Vedoucí skupiny: |
|
Teoretické základy informatiky
|
doc. Ing. Zdeněk Sawa, Ph.D. |
 |
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 |
|