Sabine Bauer
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 constraints, Decidable 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äche, Vortrag 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ß)
Private
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.
Artikelaktionen