Přeskočit na hlavní obsah
Přeskočit hlavičku

Odborné skupiny fakulty

Katedra informatiky

Teoretické základy informatiky

Skupina se zaměřuje na dva směry výzkumu: oblast logické analýzy přirozeného jazyka a oblast verifikace. 


Výzkumná témata:

  • Zpracování přirozeného jazyka
  • Aplikace metod strojového učení v oblasti zpracování přirozeného jazyka
  • Tvorba ontologií a reprezentace znalostí (v multiagentních systémech)
  • Tvorba geografických map z textových dat
  • Vytváření inteligentních dotazovacích systémů nad textovými bázemi
  • Inferenční stroj založený na TIL
  • Verifikace systémů
  • Modelování a generování paralelních aplikací
  • Využití nástrojů pro interaktivní a automatizované dokazování pro verifikaci programů
  • Verifikace BPMN procesů
  • Verifikace transformací na SQL dotazech

Person

Vedoucí skupiny: doc. Ing. Zdeněk Sawa, Ph.D.