Prof. Dr. Kurt-Ulrich Witt

Hochschule Bonn-Rhein-Sieg
Fachbereich Informatik
Grantham-Allee 20
53754 Sankt Augustin

Raum: C 273
Tel: +49 2241 865 219
Fax: +49 2241 865 8219

Email:

Lehrgebiet:

Mathematische und theoretische Grundlagen der Informatik

Lehre:

Forschung:
Entwurf, Spezifikation und Verifikation von sicheren Systemen

Veröffentlichungen:

Bücher:
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; 5. Auflage Wiesbaden, Vieweg, 2011.

Glossar zu Theoretische Informatik

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

Fernstudienmaterialien:
(u.a. zu Datenbanksystemen, Automatentheorie, Formale Sprachen, Berechenbarkeit)

Konferenzbeiträge, Forschungsberichte, Vorträge:
(u.a. zu Graphersetzungssystemen, Datenbanken, Netzwerkmanagement, objektorientierten Datenbanken, objektorientierter Programmierung)

Skripte:

Mathematische Grundlagen für die Informatik

Funktionen:

Direktor des Applied Science Institute am Bonn-Aachen International Center for Information Technology (b-it)
Vorsitzender des Fachausschusses Informatik der ASIIN
Mitglied im Auditteam der Akkreditierungsagentur ASIIN
Mitglied der Fachkommission Informatik der Zentralstelle für Fernstudien Koblenz (ZFH)
Gutachter im BMBF-Programm FHprofUnt (angewandte Forschung und Entwicklung an Fachhochschulen)