| 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., Mgr. Pavla Dráždilová, Ph.D. |
| Vědečtí pracovníci: |
Ing. Michal Fait |
| Doktorandi: |
Bjorn Jespersen |
| Seznam výsledků výzkumu: |
|
| Prezentace: |
zobrazit |
|