Technische Informatik

Prof. Dr. Bernd Becker ist Inhaber des Lehrstuhls für Rechnerarchitektur an der Albert-Ludwigs-Universität Freiburg. Seine Hauptarbeitsgebiete sind Entwurf, Verifikation und Test von Schaltungen und Systemen. Seine Arbeiten werden unterstützt durch umfangreiche Drittmittelprojekte sowohl von DFG, BMBF als auch von Geldgebern direkt aus der Industrie. Zur Zeit ist er stellvertretender Sprecher des SFB Transregios der DFG Automatic Verification and Analysis of Complex Systems.

Paul Molitor ist Professor für Technische Informatik an der Martin-Luther-Universität Halle-Wittenberg. Vor seiner Tätigkeit an der Universität Halle war er Professor für Schaltungstechnik an der Humboldt-Universität zu Berlin (1993/94) bzw. Projektleiter in dem an der Universität des Saarlandes und der Universität Kaiserslautern angegliederten Sonderforschungsbereich 'VLSI Entwurfsmethoden und Parallelität' (1983-92). Er studierte Informatik und Mathematik an der Universität des Saarlandes (Diplom 1982, Promotion 1986, Habilitation 1992).

- Grundlagen Grundlegende mathematische Begriffe Darstellungen im Rechner Elementare Bauteile Elektronische Schaltungen - Entwurf digitaler Hardware Darstellung Boolescher Funktionen Entwurf zweistufiger Logik Entwurf mehrstufiger Logik Grundlegende Schaltungen - Architektur eines Prozessors Ein einfacher Mikroprozessor Ausbau eines Mikroprozessors zu einem vollwertigen Rechner - Kommunikation Kommunikation innerhalb eines Rechners Fehlertolerante Kodierungen Datenkompression