Florian Lonsing

Computer Science Department

Gates Computer Science Building

353 Serra Mall

Stanford University

Stanford, CA 94305-9025

USA

e-mail:	"lonsing" followed by the at-sign and "cs.stanford.edu"
WWW:	http://www.florianlonsing.com/

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 gave an invited talk in a special session on SAT solving at Computability in Europe 2018.
I was co-organizer and program co-chair of the QBF Workshop 2018 at FLoC 2018.
I gave an invited tutorial on QBF solving at the Second Indian SAT+SMT School 2017.
I gave an invited talk about parallel QBF solving at the first workshop on parallel constraint reasoning (PCR'17), collocated with CADE-26.
I gave an introductory talk on QBF reasoning at Dagstuhl Seminar 16381: SAT and Interactions.
I was a speaker at the SAT/SMT/AR Summer School 2016.
I gave a tutorial on quantified Boolean formulas at IJCAI-16.
- tutorial webpage
I was a speaker at the ReRISE'14 Winter School.

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

QBF Workshop 2016 affiliated to SAT 2016.
QBF Workshop 2015 affiliated to SAT 2015.
QUANTIFY Workshop 2015 affiliated to CADE 2015.
QBF Workshop 2014 affiliated to the SAT 2014 conference.
QUANTIFY Workshop 2014 affiliated to IJCAR 2014.
QBF Workshop 2013, affiliated to SAT 2013 conference.
QBF Gallery 2013 affiliated to SAT 2013 conference.

Member of the program committee:

Teaching

Summer term 2018: exercise classes in Formale Methoden der Informatik (Formal Methods in Computer Science).
Summer term 2018: lecture SAT Solving und Erweiterungen (SAT Solving and Extensions), jointly with Uwe Egly.
Winter term 2017: exercise classes in Formale Methoden der Informatik (Formal Methods in Computer Science).
Winter term 2017: additional exercise classes in Formale Methoden der Informatik (Formal Methods in Computer Science).
Summer term 2017: exercise classes in Formale Methoden der Informatik (Formal Methods in Computer Science).
Summer term 2017: lecture SAT Solving und Erweiterungen (SAT Solving and Extensions), jointly with Uwe Egly.
Winter term 2016: exercise classes in Formale Methoden der Informatik (Formal Methods in Computer Science).
Summer term 2016: exercise classes in Formale Methoden der Informatik (Formal Methods in Computer Science).
Summer term 2016: lecture SAT Solving und Erweiterungen (SAT Solving and Extensions), jointly with Uwe Egly.
Winter term 2015: exercise classes in Formale Methoden der Informatik (Formal Methods in Computer Science).
Summer term 2015: lecture SAT Solving und Erweiterungen (SAT Solving and Extensions), jointly with Uwe Egly.
Summer term 2014: lecture SAT Solving und Erweiterungen (SAT Solving and Extensions), jointly with Uwe Egly.

Software

GitHub profile.

Link to list of software.

Talks

Link to list of talks.