Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Mitarbeiter / Sabine Bauer


Inhaltsbereich

Sabine Bauer

Wiss. Mitarbeiterin
Mitarbeiterbild
E-Mail:   sabine.bauer [at] ifi [dot] lmu [dot] de
Telefon:   +49-89-2180-9315
Fax:   +49-89-2180-9338
Adresse:

Lehr- und Forschungseinheit für Theoretische Informatik
Institut für Informatik
Ludwig-Maximilians-Universität München
Oettingenstr.67, 80538 München

Raum:

 E 105

Studium und aktuell Doktorarbeit

2013 habe ich mein Mathematikstudium abgeschlossen und bin seither Doktorandin am TCS-Lehrstuhl. Von 2013-2017 war ich Mitglied im DFG-Graduiertenkolleg PUMA (Programm- und Modellanalyse, zusammen mit der TUM). Seit 2018 bin ich Mentee im Mentoringprogramm der Fakultät 16.

In meiner Arbeit untersuche ich die Entscheidbarkeit linearer Baum-Ungleichungen und deren Anwendung in der Programmanalyse.

Meine Masterarbeit: Die Manin-Vermutung für eine del-Pezzo-Fläche

Vortrag dazu auf der DMV-Studierendenkonferenz

Die Ungleichungen im Listenfall: Decidable linear list constraints, The decision problem for linear tree constraints

Vortrag dazu bei LPAR-21

2013 in Oberwolfach

Examples for List Constraint Solving

Die Ungleichungen im allgemeinen Fall (Bäume beliebigen Grades): Decidable inequalities over infinite trees

Vortrag dazu bei LPAR-22

 

Besuchte Workshops jund Konferenzen

2013    DMV-Studierendenkonferenz, Innsbruck

2013    Seminar on Scientific Computing, Oberwolfach

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

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

2018    13th International Workshop on Implementation of Logics, Awassa

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

 

Besuchte Sommerakademien

2013    Software Systems Safety, Marktoberdorf,

2014    Advances in Programming Languages, AiPL14, Edinburgh

2015    Foundations of Security Analysis and Design, FOSAD15, Bertinoro

2017    TYPES, Ohrid


Lehre


WS11  Tutorin und Korrektorin für Lineare Algebra (bei Hartmut Weiß)

WS14  Korrektorin für Automatentheorie (bei Martin Hofmann)

WS17  Tutorium für Grundlagen der Analysis (bei Martin Hofmann)

WS17  Seminar Ausgewählte Themen der Informatik (mit Martin Hofmann, Steffen Jost, Ulrich Schöpp, Leah Neukirchen)

SS18   Seminar Effiziente Funktionale Datenstrukturen (mit Steffen Jost)

WS18  Korrektorin für Grundlagen der Analysis (bei Ulrich Schöpp)


Privat

Ich bin 33 Jahre alt und stamme aus Rumänien. Seit 2012 bin ich mit meinem Mann Johannes verheiratet und habe zwei Söhne: Daniel (10) und Elias (5).

Artikelaktionen


Funktionsleiste