Piotr Napieralski, Instytut Informatyki