Florian Lonsing |
 |
|||||||||
|
Former project staff (post-doc) |
||||||||||
|
By the end of September 2018, this page is no longer maintained.
Please visit http://www.florianlonsing.com/ instead.
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. 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 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.
- 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.
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
Link to list of software.
Talks
Link to list of talks.