Akademie der Wissenschaften der DDR, Institut für Informatik und Rechentechnik