[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 2019/20 sind Donnerstags, 12:00-13:00.
  Eventuell ausfallende Sprechstunden werden auf dieser Webseite bekannt gegeben.
  Aufgrund der CORONA-Epidemie und der zugehörigen Panik bin ich heute schon kaum noch in das Uni-Gebäude gekommen (ohne vorherige Ankündigung). Die Sprechstunden müssen daher bis auf weiteres ausfallen. Sie erreichen mich aber per EMail unter der bekannten Adresse. In dringenden Angelegenheiten können Sie mich zu Hause anrufen (s.o).

Aktuelles:

• Folien zur Einführung in die Prüfungsordnung für Erstsemester (06.10.2021, 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]