Martin-Luther-Universität Halle-Wittenberg, Institut für Informatik