Dr. Daniela Kaufmann

FWF Research Fellow, FORSYTE research unit, TU Wien.

Since 2024, I am a Research Fellow at TU Wien, where I lead the FWF ESPRIT project CalgSAT as principal investigator. Previously, I was a postdoctoral researcher at TU Wien, working with Laura Kovács, and a senior researcher at the Software Competence Center Hagenberg. I received my PhD in computer science from JKU Linz in 2020 under the supervision of Armin Biere.

My research lies at the intersection of automated reasoning, computer algebra, and SAT/SMT solving. I develop algebraic and SAT-based methods for word-level, bit-precise reasoning, with applications ranging from arithmetic circuit verification and bit-vector solving to trustworthy automated reasoning.