Ústav informatiky univerzity Komenského výskumné a pedagogické pracovisko. Gestoruje študijné zameranie umelá inteligencia. Zameriava sa na výskum formálnych modelov výpočtov a výpočtovej zložitosti, teóriu programovania, výpočtovú logiku, znalostné, hypermédiové a informačné systémy, multiagentové systémy