Prof. Dr Kurt-Ulrich Witt

Mathematical and theoretical fundamentals of computer science

Contact

Kurt-Ulrich Witt
Email: 
kurt-ulrich [dot] witt [at] h-brs [dot] de

Sankt Augustin

Grantham-Allee 20
53757
Sankt Augustin
Room: 
C 273

Profile

Research

Design, specification and verification of secure systems

Offices

  • 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)

Memberships

  • Gesellschaft für Informatik (GI)
  • European Association of Theoretical Computer Science (EATCS)

Publications

  • 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

    http://www.grundlagen-theoretische-informatik.de/

  • 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