Prof. Dr Kurt-Ulrich Witt

Mathematical and theoretical fundamentals of computer science


Kurt-Ulrich Witt
kurt-ulrich.witt [at]

Sankt Augustin

Grantham-Allee 20
Sankt Augustin
C 273



Design, specification and verification of secure systems


  • Director of the Applied Science Institute at the Bonn-Aachen International Center for Information Technology (b-it)
  • Chairman of the expert committee computer science of  the accreditation agency ASIIN
  • Member of the Auditteam of the accreditation agency ASIIN
  • Member of the expert committee computer science of the  central office for correspondence course Koblenz (ZFH)
  • Expert within the BMBF-Programme FHprofUnd  (applied research and development at universities of applied sciences)


  • Gesellschaft für Informatik (GI)
  • European Association of Theoretical Computer Science (EATCS)
  • Books:
    Witt, K.-U.: Algebraische Grundlagen der Informatik; 3. Auflage Wiesbaden, Vieweg, 2007.
  • Glossar zu Algebraische Grundlagen für die Informatik

Vossen, G.; Witt, K.-U.: Grundkurs Theoretische Informatik; 4. Auflage Wiesbaden, Vieweg, 2006.

  • Glossar zu Theoretische Informatik

  • Correspondence course material:
    (amongst others) on database, automata theory, formal languages, computability
  • Conference papers, research papers, lectures: (amongst others) on graph rewriting systems, database, networkmanagement, objectoriented database, objectoriented programming
  • Scripts:

  • Vorkurs Mathematik
  • Satz von Lagrange
  • Queue Automaten
  • Radomisierte Algorithmen
  • Primzahltests
  • Approximative Graphen-Algorithmen