Sibylle Möhle

Graduate Student, Johannes Kepler University Linz

In 2014, Sibylle Möhle graduated from the FernUniversität in Hagen, which is Germany’s only state distance-learning university. From 04/2015 to 03/2018, she was employed as a research assistant at TU Dresden (Germany). Since 04/2018 Sibylle has been a PhD student at Johannes Kepler University Linz with Armin Biere, currently within the LIT Correct and Secure Systems Lab.

Her research interests are in exact propositional unweighted model counting and enumeration. Sibylle explores alternative methods to the widely implemented component-based approach.

Program Visits

Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Graduate Student