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. |