Telefon
(+49)231 755-2569

Sprechzeiten
nach Vereinbarung

Campus Adresse
Campus Nord
OH14

Raum 339

Bio

Joachim Biskup studierte 1968-72 Mathematik an der Technischen Universität Hannover und promovierte 1975 im Fach Informatik an der RWTH Aachen. Seit 1981 ist er Professor für Informatik, zunächst an der Universität Dortmund, dann an der Universität Hildesheim und seit 1996 wieder an der Universität Dortmund.

Seine Forschung umfasst Arbeiten über Berechenbarkeits- und Komplexitätstheorie, über Informationssysteme mit den Schwerpunkten Schemaentwurf, Anfrageoptimierung und Mediation und über verschiedene Gesichtspunkte der IT-Sicherheit, insbesondere Zugriffskontrolle und Inferenzkontrolle zum Schutz von Vertraulichkeit.

Er ist Mitglied gewesen in zahlreichen Programmausschüssen internationaler Tagungen, insbesondere ICDT, FoIKS, ESORICS und DBSec.

Seit seiner Pensionierung im Jahr 2012 ist er mit seinem Schwerpunkt Informationssysteme und Sicherheit weiterhin verbunden mit dem Lehrstuhl für Datenbanken und Informationssysteme, der nunmehr von Prof. Dr.Jens Teubner geleitet wird.

Publikationen

Für die Publikationen von Joachim Biskup verweisen wir auf DBLP.

Bücher und Tagungsbände

LehrE

Joachim Biskup hat zahlreiche Vorlesungen über weite Bereiche der Informatik gehalten. Die Themen umfassen einerseits Mathematische Logik, Machinelles Beweisen, Relationale Datenbanken und Informationssysteme und andererseits Einführungen in die Programmierung, in Algorithmen und Datenstrukturen, in Automaten und formale Sprachen, in Rechnerarchitektur und in Betriebssysteme, und darüber hinaus vielfältige Gesichtspunkte der IT-Sicherheit, insbesondere Zugriffskontrolle, Inferenzkontrolle und Kryptographie.

Seine Bücher über "Informationssysteme", Vieweg 1995, und über "Security in Computing Systems", Springer 2009, sind aus entsprechenden Vorlesungen hervorgegangen. Zu einigen Vorlesungen sind die Unterlagen für die Studierenden noch verfügbar:

• Sequentielle Programmierung und Programmierkurs MODULA-2, 1994
• Machinelles Beweisen, 1995
• Grundbegriffe der theoretischen Informatik, 2002
• Informationssysteme, 2010
• Security in Computing Systems (in Englisch), 2011

Von der Durchführung der Vorlesung "Security in Computing Systems" im WS 2010/11 wurde eine (beinahe) vollständige Videoaufzeichnung erstellt, die 15 Vorlesungen zu je etwa 90 Minuten umfasst (wobei leider das Dozentenbild für die erste Vorlesung fehlt).