Ústav informatiky bol založený v roku 1992 s cieľom rozvíjať teoretické počítačové vedy ako základnú disciplínu.

Hlavnými záujmami výskumu sú paralelné numerické a nonnumerické algoritmy, prepojovacie siete či grafické kreslenie.

Oddelenie koordinuje dva projekty podporované zo Slovenskej grantovej agentúry: Paralelné algoritmické konštrukcie pre lineárne algebrové prístupy založené na vyhľadávaní informácií č 2/1098/21 a Teoretické problémy či prepojenie sietí 2/7007/20 a subprojekt Paralelný Numerics ČIŽP.

V prípade záujmu o spoluprácu, kontaktujte Kanceláriu pre transfer technológií, poznatkov a ochranu duševného vlastníctva Slovenskej akadémie vied.