Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > Florian Lonsing>

Tools: Drucken


Florian Lonsing

A picture of me
Project Staff (post-doc)
email: lonsing at kr.tuwien.ac.at
Phone: +43 (1) 58 801-18472
Fax: +43 (1) 58 801-18493
Sec: +43 (1) 58 801-18405
Office hours: By appointment

Personal Information

I joined the Knowledge-Based Systems Group (KBS) in June 2012 as a post-doctoral researcher. My position is 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/.

Events and Activities

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

Member of the program committee:

I was a speaker at the ReRISE'14 Winter School.

Teaching

Software

Link to list of software.

Talks

Link to list of talks.

Publications


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.