A picture of me

Florian Lonsing

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

Home Publications Software Talks

Personal Information

I am a former applied scientist (Amazon Web Services). My research interests are in automated reasoning and satisfiability solving.

From January 2019 to October 2022, I was a researcher in Clark Barrett's group in the Computer Science Department at Stanford University. My position was part of the POSH Upscale project, which has the goal to develop tools and techniques for verifying and evaluating open-source hardware.

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).

Research Interests

Satisfiability solving (SAT, QBF; theory, applications), automated reasoning, artificial intelligence, formal verification, SMT-based model checking, computational logic.


Honors and Awards

Events and Activities

Co-organizer / program co-chair roles:

Program committee memberships and related professional roles:


GitHub profile.

Link to list of software.


Link to list of talks.

Teaching (at TU Wien, 2014-2018)