Das Institut besteht aus zwei Abteilungen:
Das Institut für Formale Methoden der Informatik (FMI) gehört dem Institutsverbund Informatik (IvI) (nur intern) an und wurde am 27.11.2002 aus dem bis dahin bestehenden Institut für Informatik (IFI) ausgegliedert.
Es beteiligt sich an der Lehre in allen Studiengängen des Fachbereichs Informatik.
In der Forschung sind seine Abteilungen in Bereichen der theoretischen Informatik und der Algorithmik aktiv.
Inhalte vor WS 2011/12 sowie zu den ehemaligen Abteilungen FK, SZS und BS finden sich auf der alten Webseite.