Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > Florian Lonsing>

Tools: Drucken

Florian Lonsing

A picture of me
Project Staff (post-doc)
email: lonsing at
Phone: +43 (1) 58 801-18472
Fax: +43 (1) 58 801-18493
Sec: +43 (1) 58 801-18405
Office hours: By appointment

Personal Information

I joined the Knowledge-Based Systems Group (KBS) in June 2012 as a post-doctoral researcher. My position is part of the RiSE national research network. Previously, from 2008 to 2012, I was assistant and doctoral student at the Institute of Formal Models and Verification (FMV) at Johannes Kepler University (JKU) in Linz, Austria.

Primarily I am working on solving techniques for quantified boolean formulae (QBF) and related practical aspects.

Since 2009, I have been developing the QBF solver DepQBF. See also my dissertation.

The latest release of DepQBF is available from GitHub:

April 2018: first release of our new QBF preprocessor QRATPre+ (source code on GitHub, related paper at IJCAR 2018).

Events and Activities

I was a co-organizer / program co-chair of:

Member of the program committee:



GitHub profile.

Link to list of software.


Link to list of talks.


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer. Datenschutzerklärung.