Dr. Sibylle Möhle
Since August 2022, I am a postdoctoral researcher at Max Planck Institute for
Informatics in the research group Automation
of Logic group led by
Prof. Christoph Weidenbach.
Until July 2022, I was a PhD student at JKU with Prof. Armin
Biere within the National Research Network (NFN) on Rigorous Systems Engineering (RiSE) and
Secure and Correct Systems Lab.
This page is no longer maintained. On my personal website you find more
information concerning my research.