A picture of me

Florian Lonsing

Computer science researcher
e-mail: "fml" followed by the at-sign and "florianlonsing.com"
WWW: http://www.florianlonsing.com/

Home Publications Software Talks

Personal Information

From June 2012 to September 2018 I was a postdoctoral researcher in the Knowledge-Based Systems Group (KBS) within the Institute of Logic and Computation at TU Wien, Austria. My position was 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: http://lonsing.github.io/depqbf/.

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.