Lisa Kruse

Portrait

In October 2015 I received a master's degree in Mathematics from Technische Universität Dresden. During the masters programme I spent a year as an Erasmus exchange student at Heriot-Watt University in Edinburgh, Scotland.

From November 2015 until September 2017 I was a PhD student in the DFG research training group Quantitative Logics and Automata (QuantLA) under the supervision of Prof. Dr. Christel Baier.

Currently, I am a PhD student in the Visual Learning Lab Heidelberg at the Ruprecht-Karls-Universität Heidelberg.

Contact Details

complete email address by appending '@iwr.uni-heidelberg.de'

Phone: +49 6221 54 14 835
Email: lisa.kruse
Office: Room 4/337
INF 205 (Mathematikon A)
Postal Address: IWR, Uni Heidelberg
Im Neuenheimer Feld 205
69120 Heidelberg
Germany

Research

Publications

Lisa Hutschenreiter, Christel Baier, Joachim Klein Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination In: Proceedings of the 8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017), Electronic Proceedings in Theoretical Computer Science, 2017 pdf (extended version) additional material ArXived at DOI: 10.4204/EPTCS.256.2.

Lisa Hutschenreiter, Rafael Peñaloza An Automata View to Goal-directed Methods In: Proceedings of the 11th International Conference on Language and Automata Theory and Applications (LATA 2017), Lecture Notes in Computer Science, Springer, 2017 pdf (preprint version) The final publication is available at Springer via DOI: 10.1007/978-3-319-53733-7_7.

Talks

Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination GandALF 2017, Rome, Italy, September 2017 pdf (short)

Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination QuantLA Workshop, Oberbärenburg, September 2017

An Automata View to Goal-directed Methods LATA 2017, Umeå, Sweden, March 2017 pdf (short)

PCTL Model Checking on Parameterized DTMCs QuantLA Workshop, Krippen, September 2016

Permutation Pattern Avoidance Classes and their Model Companions QuantLA Research Seminar, Leipzig, January 2016

The Model Companions of Permutation Pattern Avoidance Classes Master's thesis colloquium. International Seminar (Institute of Algebra), Dresden, October 2015

Theses

The Model Companions of Permutation Pattern Avoidance Classes Master's thesis, TU Dresden, October 2015 pdf (revision 11/2015)

Ein Einblick in die Reconstruction Conjecture Bachelor's thesis, TU Dresden, September 2012