Links und Funktionen

Sie sind hier: Startseite / Mitarbeiter / Sabine Bauer


Sabine Bauer

Researcher (Wiss. Mitarbeiterin)
This page is not up to date any more. 

Group for theoretical computer science (Lehr- und Forschungseinheit für Theoretische Informatik)


Studies and PhD

I have a Master's in mathematics from LMU and started my PhD project initially in the research training group "Program and Model Analysis" (PUMA, funded by DFG, joint with TUM), then continued at LMU and finished in Mai 2019.

Most of my work is about solving linear inequalities over infinitely many unknowns in theory. It can be applied to questions in resource analysis (formal proofs of certain program properties as for instance polynomial space consumption).

Papers: Decidable linear list constraints, The decision problem for linear tree constraintsDecidable inequalities over infinite trees

Slides presented at the LPAR-21 conference

Slides presented at  the LPAR-22 conference


2013 Picture from the Workshop on Scientific Computing at Oberwolfach (I am the woman with the black jacket in the middle)

Master's thesis (german): Die Manin-Vermutung für eine del-Pezzo-FlächeVortrag dazu auf der DMV-Studierendenkonferenz 

Attended Workshops and Conferences

2018    13th International Workshop on Implementation of Logics, IWIL, Awassa

2018    International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-22, Awassa

2017    12th International Workshop on Implementation of Logics, IWIL, Maun

2017    International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-21, Maun

2013    DMV-Studierendenkonferenz, Innsbruck

2013    Seminar on Scientific Computing, Oberwolfach


Summer Schools

2017    TYPES, Ohrid

2015    Foundations of Security Analysis and Design, FOSAD15, Bertinoro

2014    Advances in Programming Languages, AiPL14, Edinburgh

2013    Software Systems Safety, Marktoberdorf

Teaching (mostly in german)

Winter18         Correction and revision course for "Grundlagen der Analysis" (Lecturer: Ulrich Schöpp)

Summer18     Seminar "Effiziente Funktionale Datenstrukturen" (together with Steffen Jost)

Winter17        Tutor for  the course "Grundlagen der Analysis" for students with minor subject informatics; with an own weekly exercise session including preparation and choice of material (Lecturer: Martin Hofmann)

Winter17        Seminar "Ausgewählte Themen der Informatik" (together with Martin Hofmann, Steffen Jost, Ulrich Schöpp, Leah Neukirchen)

Winter14        Corrector for the advanced course "Automata Theory" (Lecturer: Martin Hofmann)

Winter11        Tutor and corrector for the undergraduate course "Lineare Algebra" (Lecturer: Hartmut Weiß)


I am 33 years old and moved to Germany from Romania when I was a child. My husband Johannes and I got married in 2012 and we have three children, the oldest of them was born in 2008.