Ústav informatiky AV ČR, v.v.i.

Provádění výzkumné činnosti v oblasti logických a pravděpodobnostních základů informatiky a genetiky.

Pod vodárenskou věží 271/2, Praha-Libeň