A picture of me

Florian Lonsing

Computer Science Department
Gates Computer Science Building
353 Serra Mall
Stanford University
Stanford, CA 94305-9025
e-mail: "lonsing" followed by the at-sign and "cs.stanford.edu"
WWW: http://www.florianlonsing.com/

Home Publications Software Talks

Personal Information

I am a researcher in Clark Barrett's group in the Computer Science Department at Stanford University, which I joined in January 2019.

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.

Between 2008 and 2018, primarily I worked 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.