A picture of me

Florian Lonsing

Computer Science Department
Gates Computer Science Building
353 Jane Stanford Way
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. My position is 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)