Impressum | English

Prof. Dr. Kurt-Ulrich Witt

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

Raum: C 103 (Dekanat)
Tel: +49 2241 865 201, -202
Fax: +49 2241 865 8200

Email:

Lehrgebiet:

Mathematische und theoretische Grundlagen der Informatik

Lehre:

• Vorlesungen und Seminare
• Übungen Mathematische Grundlagen
  
• Übungen Theoretische Informatik
• Übungen Algebraische Grundlagen für die Informatik  WS08
• Übungen Theoretische Informatik II SS09
  

 

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; 4. Auflage Wiesbaden, Vieweg, 2006.

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

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

 

Funktionen:

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

Mitgliedschaften:

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

[ « Zurück ]