Dr. Daniela Kaufmann

ERC Starting Grant Grantee, 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. I was recently awarded an ERC Starting Grant 2026 for POLARIS — Advancing Polynomial and Logical Approaches for Trusted Automated Reasoning over Integrated Systems.

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.