Katedra aplikovanej informatiky MATFYZ UK
Vedecká činnosť katedry sa orientuje na tieto oblasti: umelá inteligencia a kognitívna veda - reprezentácia znalostí a nemonotónne usudzovanie, umelé neurónové siete, modelovanie prirodzeného jazyka, kognitívna sémantika, robotika a modelovanie zložitých dynamických sietí; počítačová grafika - počítačová animácia, metódy objemovej grafiky, počítačové videnie, fyzikálne simulácie prírodných efektov a tieňovanie; deklaratívne programovanie - dizajn, implementácia a sémantika deklaratívneho programovania; bioinformatika - algoritmy a matematické metódy na analýzu genómov primátov, kvasiniek a iných organizmov.