Contact

Florian Lonsing, Linz, Austria.

E-mail: “fml” followed by the at-sign and “florianlonsing.com”

Personal Information

I am a former applied scientist (Amazon Web Services, Automated Reasoning Group, San Francisco Bay Area).

From January 2019 to October 2022 I was a research engineer in the Center for Automated Reasoning, directed by Clark Barrett, in the Computer Science Department at Stanford University. My position was part of the Upscale project, which has the goal to develop tools and techniques for verifying and evaluating open-source hardware, funded by the DARPA Posh Open Source Hardware (POSH) program.

From June 2012 to September 2018 I was a postdoctoral researcher with Uwe Egly in the Knowledge-Based Systems Group (KBS) in 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. During my PhD (advisor: Armin Biere) I worked on solving techniques for quantified boolean formulae (QBF) and related practical aspects and developed the QBF solver DepQBF.

Research Interests

Satisfiability solving and automated reasoning (propositional logic, quantified Boolean formulas; theory, applications), formal verification and model checking, computational logic, artificial intelligence.