Photo of Stefan Brass

Dr. Stefan Brass

Professor (C4),
Institut für Informatik,
Martin-Luther-Universität Halle-Wittenberg

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)
Email: brass@acm.org
Telefon: 0345/55-24740 (Büro), 0641/9609992 (zu Hause, möglichst nur 8-13, 16-21)
Sekretariat: Frau Kokert, Telefon 0345/55-24771
Fax: 0345/55-27333
Sprechstunden: Nach Vereinbarung.

Sommersemester 2003 (Universität Halle):

Wintersemester 2002/2003 (TU Clausthal):

Sommersemester 2002 (Universität Gießen):

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

Wintersemester 2000/2001 (Universität Gießen):

Frühere Semester:

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

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

Stefan Brass (brass@acm.org), 20.03.2003