Robert Banasiak, Instytut Informatyki Stosowanej