[English Version]

Adresse:

• Martin-Luther-Universität Halle-Wittenberg
  Fachbereich Mathematik und Informatik
  Institut für Informatik
  Von-Seckendorff-Platz 1
  D-06120 Halle/Saale (für Besuche) bzw.
  D-06099 Halle/Saale (für Briefe)
• Büro: Raum 313 (Institut für Informatik, Von-Seckendorff-Platz 1)
  [Google Maps] [Orientierungsplan].
• Email: brass@informatik.uni-halle.de
• Telefon: 0345/55-24740 (Büro), 0345/2036337 (zu Hause, möglichst nur 8-13, 16-21)
• Sekretariat: Frau Vahrenhold, Telefon 0345/55-24750
• Fax: 0345/55-27333
• Sprechstunden: Meine Sprechstunden im Wintersemester 2024/25 sind Montags, 13:00-13:45.
  Leider muss meine Sprechstunde am 30.06.2025 ausfallen. In dringenden Fällen schicken Sie mir eine Email.

Aktuelles:

• Folien zur Einführung in die Prüfungsordnung für Erstsemester (PDF)
• Mein Vortrag auf der ADBIS'21: "Integrity Constraints for Microcontroller Programming in Datalog"
• Aktuell in Arbeit: "Memory-Restricted Datalog on Arduino"
• Folien zur Einführung in die Prüfungsordnung für Erstsemester (06.10.2020, PDF)
  • Video, Teil 1 (Folien mit Ton im webm-Format, 108 MB, 20min)
  • Video, Teil 2 (Folien mit Ton im webm-Format, 93 MB, 17min)
  • Video, Teil 3 (Folien mit Ton im webm-Format, 105 MB, 19min)
• Persönliche Vorstellung bei der Begrüßung der Erstsemester (08.10.2019, PDF)
• Vortrag auf Datalog 2.0 2019 (04.06.2019, PDF)
• Lehrveranstaltungen im Wintersemester 2020/2021:
  • Einführung in Datenbanken (Erste Hälfte von DB I) [StudIP]
    Mo 10:30-12:00, 3.28, Übung (Brass, Hinneburg): Di 10:30-12:00, 15:30-17:00, 18:00-19:30
  • Datenbanken IIA: DB-Entwurf [StudIP]
    Mi 10:30-12:00, 3.04, Übung (Wenzel): Mi 13-14:30, 15:30-17:00
• Im Sommersemester 2020 habe ich ein Forschungssemester und halte keine regulären Lehrveranstaltungen. Die Betreuung von Abschlussarbeiten und meine sonstigen Tätigkeiten (Prüfungsausschuss-Vorsitzender etc.) laufen weiter.
• Lehrveranstaltungen im Wintersemester 2019/2020:
  • Einführung in Datenbanken (Erste Hälfte von DB I) [StudIP]
    Mo 10-12, 3.28, Übung (Hinneburg): Di 14-16, 3.04 oder Di 16-18, 1.30
  • Datenbanken IIB: DBMS-Implementierung [StudIP]
    Mi 10-12, 3.04, Übung (Brass): Mi 12-14, 3.04/3.02
  • XML und Datenbanken [StudIP]
    Do 10-12, 3.04, Übung (Wenzel): Do 12-14, 3.04/3.02
• Lehrveranstaltungen im Sommersemester 2019:
  • Datenbank-Programmierung (Zweite Hälfte von DB I) [StudIP] (Mo 10-12, 3.04)
  • Logische Programmierung und deduktive Datenbanken [StudIP] (Do 10-12, 3.04, Übung: Do 12-14, 302)
• Folien zum Vortrag "Informatik zur Planung und Durchführung von Feuerwerken" (Seniorenkolleg 2018)
• Informationen für Erstsemester über die DB-Gruppe (von 2011): [PDF]    [ps, verkleinert]
• Hinweise zu Prüfungen (im Aufbau):
  • Datenbanken I (enthält auch allgemeine Hinweise zu mündlichen Prüfungen)
  • Datenbanken IIA
  • Datenbanken IIB
  • Fachprüfung Informatik für Wirtschaftsinformatiker

Forschungs-Interessen:

• Datenbanken
• Logische Programmierung, Deduktive Datenbanken, Prolog
  • Push-Methode zur Programmausführung in deduktiven Datenbanken
  • Datalog mit geordneten Fakten (u.a. für deklarative Spezifikation von Ausgaben)
  • Die SLDMagic-Methode zur zielgerichteten Anfrageauswertung in deduktiven Datenbanken
• Datenbank-Ausbildung, Semantische Fehler in SQL
• World Wide Web, insbesondere Anfragesprachen
• XML, Semistrukturierte Daten
• Wissensrepräsentation, Nichtmonotones Schließen, Negation as Failure

Allgemeinverständliche Vorträge:

• Folien zum Vortrag "Informatik zur Planung und Durchführung von Feuerwerken" (Seniorenkolleg 2018)
• Folien zu Schemaverse (SummerByte 2017)
• Vortrag im Goethegymnasium Weißenfels (2014): [PDF]
• Suchmaschinenoptimierung am Beispiel von www.bigzanders-feuerwerke.de
  (Beitrag zur Langen Nacht der Wissenschaften 2009)
  Webseite der Feuerwerksfirma (Großfeuerwerker)
• Folien von "XML und Datenbanken" (Lange Nacht, 06.07.2007):
  • [PDF, groß, farbig]
  • [Postscript, verkleinert, schwarzweiss]

Lehrveranstaltungen:

• Datenbank-Programmierung (Zweite Hälfte von DB I) [StudIP] (Mo 10-12, 3.04)
• Logische Programmierung und deduktive Datenbanken [StudIP] (Do 10-12, 3.04, Übung: Do 12-14, 302)

• Objektorientierte Programmierung [StudIP] (Di 10-12, 3.28)
• Einführung in Datenbanken / Erste Häfte von Datenbanken I [StudIP] (Mo 10-12, 3.28)
• Datenbanken IIA: Datenbank-Entwurf [StudIP] (Mi 10-12, 3.04)
• XML und Datenbanken [StudIP] (Do 10-12, 3.04)
• Übung dazu [StudIP] (Do 12-14, 3.04/Multimedia-Pool 3.02)
• Forschungsgruppenmodul (Seminar) (nach Absprache)

• Logische Programmierung und deduktive Datenbanken [StudIP] (Do 10-12, 3.04, Do 14-16 oder Di 8-10, 3.04)
Wintersemester 2017:
• Datenbanken I [StudIP] (Mo 10-12, 3.07, Di 16-18, 304)
• Datenbanken IIB: DBMS-Implementierung [StudIP] (Di 10-12, 3.04)
• Übung dazu [StudIP] (Mi 12-14, 3.04/PC-Pool)
• XML und Datenbanken [StudIP] (Do 10-12, 3.28)
• Übung dazu [StudIP] (Do 12-14, 3.04/PC-Pool)
• Forschungsgruppenmodul (Seminar) (Mi 10-12)
Sommersemester 2017:
• Logische Programmierung und deduktive Datenbanken [StudIP] (Do 10-12, 3.04, Do 14-16, 1.03/PC-Pool)
• Übung dazu [StudIP] (Do 14-16, 1.03/PC-Pool)
• Forschungsgruppenmodul (Seminar)
Wintersemester 2016/17:
• Datenbanken I [StudIP] (Mo 10-12, Di 14-16, 3.07)
• Datenbanken IIA: Datenbank-Entwurf [StudIP] (Do 10-12, 3.28)
• XML und Datenbanken [StudIP] (Di 10-12, 1.23)
• Forschungsgruppenmodul (Seminar)
Sommersemester 2016:
• Logische Programmierung und deduktive Datenbanken
• Grundlagen des WWW
• Forschungsgruppenmodul (Seminar)
Wintersemester 2015/16:
• Datenbanken I
• Datenbanken IIB: DBMS-Implementierung
• XML und Datenbanken
• Forschungsgruppenmodul/Seminar (Dienstags, 12-14)
Sommersemester 2015 (Forschungssemester):
• Logische Programmierung und deduktive Datenbanken
• Forschungsgruppenmodul/Seminar
Wintersemester 2014/15:
• Objektorientierte Programmierung
• Datenbanken I
• Datenbanken IIA: Datenbankentwurf
• Forschungsgruppenmodul/Seminar
Sommersemester 2014:
• Logische Programmierung und deduktive Datenbanken
• XML und Datenbanken
• Grundlagen des WWW
• Forschungsgruppenmodul (Seminar)
Wintersemester 2013/14:
• Objektorientierte Programmierung
• Datenbanken I
• Datenbanken IIB: DBMS-Implementierung
Sommersemester 2013:
• Datenbanken IIA: DB-Entwurf
• Datenbanken IIB: DBMS-Implementierung
• Seminar über Datenbanken
Wintersemester 2012/13:
• Objektorientierte Programmierung
• Datenbanken I
• Logische Programmierung und deduktive Datenbanken
Sommersemester 2012:
• Datenbanken IIA: DB-Entwurf
• XML und Datenbanken
• Seminar über Datenbanken
• Grundlagen des WWW
Wintersemester 2011/12:
• Datenbanken I
• Datenbanken IIB: DBMS-Implementierung
Sommersemester 2011:
• Logische Programmierung und deduktive Datenbanken
• Seminar über Datenbanken
• Grundlagen des WWW
Wintersemester 2010/11:
• Objektorientierte Programmierung
• Datenbanken I
• Datenbanken IIA: Datenbank-Entwurf
• XML und Datenbanken
Sommersemester 2010 (Universität Halle):
• Datenbanken IIB: Implementierung von Datenbank-Managementsystemen
• Grundlagen des WWW
• Seminar über Datenbanken, Logische Programmierung, und XML
• Arbeitsgemeinschaft zur Vorbereitung auf eine DBA-Zertifizierung
Sommersemester 2009 (Universität Halle):
• Datenbanken IIA: Datenbank-Entwurf
• Grundlagen des WWW
• Seminar über Datenbanken, Logik, und XML
• Arbeitsgemeinschaft zur Vorbereitung auf eine DBA-Zertifizierung
Wintersemester 2008/2009 (Universität Halle):
• Datenbanken I
• Objektorientierte Programmierung
• XML und Datenbanken
Sommersemester 2008 (Universität Halle):
• Datenbanken IIA: Datenbank-Entwurf
• Grundlagen des WWW
• Seminar über Datenbanken, XML und Suchmaschinen
• Arbeitsgemeinschaft zur Vorbereitung auf eine DBA-Zertifizierung
• Einführung in Datenbanken und das WWW (ASQ-Modul)
Wintersemester 2007 (Universität Halle):
• Datenbanken I
• Deduktive Datenbanken und logische Programmierung
• XML und Datenbanken II
Sommersemester 2007 (Universität Halle):
• Grundlagen des World Wide Web
• XML und Datenbanken
• Datenbanken IIA: Datenbank-Entwurf
Wintersemester 2006/2007 (Universität Halle):
• Objektorientierte Programmierung
• Datenbanken I
• Datenbanken IIB: DBMS-Implementierung
Sommersemester 2006 (Universität Halle):
• Deduktive Datenbanken und Logische Programmierung
• Datenbanken IIA: Datenbank-Entwurf
• Grundlagen des World Wide Web
Wintersemester 2005/2006 (Universität Halle):
• Datenbanken I
• Datenbanken IIB: DBMS-Implementierung
• Seminar über Datenbanken
Wintersemester 2004/2005 (Universität Halle):
• Datenbanken I
• Grundlagen des World Wide Web
• Seminar über Datenbanken und das WWW
Sommersemester 2004 (Universität Halle):
• Datenbanken IIA: Datenbank-Entwurf
• Datenbanken IIB: DBMS Implementation
• Seminar über Datenbanken und das WWW
Wintersemester 2003/2004 (Universität Halle):
• Datenbanken I
• Deduktive Datenbanken und Logische Programmierung
• Seminar über Datenbanken und das WWW
Sommersemester 2003 (Universität Halle):
• Datenbanken II
• Grundlagen des World Wide Web
Wintersemester 2002/2003 (TU Clausthal):
• Datenbanken I
• Seminar im Grundstudium über das World Wide Web und XML
Sommersemester 2002 (Universität Gießen):
• Grundlagen des World Wide Web
• Dokumentation und Datenbanken   (Einführung in Datenbanksysteme für Hörer aller Fachrichtungen)
• Databankentwurf
Wintersemester 2001/2002 (Universität Gießen):
• Informatik III (Systemsoftware)
• Dokumentation und Datenbanken   (Datenbank-Vorlesung für Hörer aller Fachbereiche, zusammen mit Prof. Dr. Dudeck)
Sommersemester 2001 (Universität Gießen):
• Datenbank-Entwurf
• Datenbank-Implementierung und Administration
• Seminar "Suchmaschinen, Semistrukturierte Daten, XML"
Wintersemester 2000/2001 (Universität Gießen):
• Datenbanksysteme
• Grundlagen des World Wide Web
Frühere Semester:
• Kompaktkurs XML (Sommer 2000)
• INFSCI 2710 - Database Management (Spring 2000)
• INFSCI 3967 - Doctoral Seminar (Spring 2000)
• INFSCI 2710 - Database Management (Spring 1999)
• INFSCI 0015 - Data Structures and Programming Techniques (Spring 1999)
• INFSCI 2710 - Database Management (Summer 1999)
• INFSCI 2711 - Database Analysis and Design (Fall 1999)

Aktuelle Veröffentlichungen (Auswahl):

• S. Brass: SLDMagic - The Real Magic (with Applications to Web Queries). In: First International Conference on Computational Logic (CL'2000/DOOD'2000), Springer LNAI, 2000.
           [Zusammenfassung]    [Postscript (80K)]    [Software]
   
• S. Brass, J. Dix, I. Niemelä, T. C. Przymusinski: On the Equivalence of the Static and Disjunctive Well-Founded Semantics and its Computation. Journal of Theoretical Computer Science, to appear (Vol. 251, 2001).
           [Postscript (108K)]
   
• S. Brass, J. Dix: Semantics of (Disjunctive) Logic Programs Based on Partial Evaluation. In: The Journal of Logic Programming 40:1 (1999), 1-46.
           [Postscript (194K)]
   
• S. Brass, J. Dix, B. Freitag, U. Zukowski: Transformation-Based Bottom-Up Computation of the Well-Founded Model. Accepted for Publication in: Theory and Practice of Logic Programming.
           [Postscript (149K)]
   
• S. Brass, J. Dix, T. C. Przymusinski: Computation of the Semantics of Autoepistemic Belief Theories. Journal of Artificial Intelligence , Volumne 112, No. 1-2, 1999.
           [Artikel (ps, 118K, 21 Seiten)]    [Technischer Bericht (ps, 263K, 63 Seiten)]    [Software]

Weitere Veröffentlichungen

Kurz-Lebenslauf:

• Seit April 2003 bin ich Professor (C4) am Institut für Informatik der Martin-Luther-Universität Halle-Wittenberg.
• Von Oktober 2002 bis März 2003 war ich Professor (C3) am Institut für Informatik der TU Clausthal.
• Von Juli 2000 bis September 2002 war ich Professor (C3) am Institut für Informatik der Justus-Liebig-Universität Gießen. [Alte Homepage]
• Von Dezember 1998 bis Mai 2000 habe ich als "Assistant Professor" im Department of Information Science and Telecommunications der University of Pittsburgh gearbeitet. [Alte Homepage]
• 1996-1998: Verwalter der Professur für Informationssysteme an der Universität Hildesheim.
• 1997: Habilitation für Informatik an der Universität Hannover.
• 1992-1996: Wissenschaftlicher Assistent (C1) im Institut für Informatik, Fachgebiet Datenbanken und Informationssysteme, der Universität Hannover. [Alte Homepage]
• 1992: Promotion über `Defaults in Deductive Databases' an der Universität Hannover. Mein Doktorvater ist Prof. Dr. Udo Lipeck.
• 1988-1992: Wissenschaftlicher Mitarbeiter an der Universität Dortmund und dann an der Universität Hannover (bei Prof. Dr. Udo Lipeck).
• 1983-1988: Studium der Informatik an der TU Braunschweig.
  Meine Diplomarbeit wurde betreut von Prof. Dr. H.-D. Ehrich.

Vollständiger Lebenslauf:   [Postscript]   [PDF]

Mehr private Informationen über mich:

• Familienstand: verheiratet, zwei Kinder.
• Religion: Ich bin Christ (evangelisch-lutherisch), und der christliche Glaube ist mir wichtig.
• Hobbies: Feuerwerk, Musik, Garten, Lesen, Wandern.
• Test für Suchmaschinenoptimierung: wettbehalle

---

Stefan Brass (brass@informatik.uni-halle.de), 20.03.2003

URL: http://www.informatik.uni-halle.de/~brass/ind_ger.html   [HTML 3.2 Geprüft]   [Links Geprüft]