Ausbildung

Birgit Elbl - Ausbildung/Abschlüsse

1990 Diploma in Mathematics
(Ludwig-Maximilians-Universität München)

Thesis: Herbrand-Theorien in der beschränkten Arithmetik.
1995 Dr. rer. nat. (UniBw München)

Thesis: Deklarative Semantik für Logikprogramme mit Prologs Auswertungsstrategie.
2002 Habilitation and venia legendi in Computer Science
(UniBw München)

Thesis: A Logical Approach to Symbolic Predicational Programming.