Instytut Podstaw Informatyki Polskiej Akademii Nauk - jednostka naukowa Polskiej Akademii Nauk
Uprawiana dyscyplina naukowa: informatyka
Główne kierunki badawcze: 1. Matematyczne i logiczne podstawy informatyki; 2. Systemy współbieżne i rozproszone; 3.