Personen
>
Professorinnen und Professoren
>
Witt
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
Lehrgebiet:
Mathematische und theoretische Grundlagen der Informatik
Lehre:
- Vorlesungen und Seminare
- Übungen Mathematische Grundlagen
- Übungen Theoretische Informatik
- Übungen Algebraische Grundlagen für die Informatik
Forschung:
Entwurf, Spezifikation und Verifikation von sicheren Systemen
Veröffentlichungen:
- Bücher:
Witt, K.-U.: Algebraische Grundlagen der Informatik; 3. Auflage Wiesbaden, Vieweg, 2007.
Vossen, G.; Witt, K.-U.: Grundkurs Theoretische Informatik; 5. Auflage Wiesbaden, Vieweg, 2011.
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
- Satz von Lagrange
- Queue Automaten
- Radomisierte Algorithmen
- Primzahltests
- Approximative Graphen-Algorithmen
- Gauss-Elimination
- Algorithmische Informationstheorie
- Lineare Algebra und Einführung in die Codierungstheorie
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)
Mitgliedschaften:
- Gesellschaft für Informatik (GI)
- European Association of Theoretical Computer Science (EATCS)
[ « Zurück ]
