Daniela Kaufmann

Daniela Kaufmann has been an FWF ESPRIT Research Fellow since June 2024 in the Automated Program Reasoning (APRe) group at the Faculty of Informatics, Technische Universität Wien. Her work focuses on combining computer algebra with SAT solving for bit-precise formal verification. Prior roles include senior researcher at the Software Competence Center Hagenberg and postdoctoral researcher at Johannes Kepler University's LIT AI Lab.

• Doctor of Technical Sciences (Dr. techn.), Johannes Kepler University, 2020
• Master of Science (Dipl.-Ing.) in Computer Mathematics, Johannes Kepler University, 2016
• Bachelor of Science in Technical Mathematics, Johannes Kepler University, 2014

Her research develops SAT-based algebraic methods for word-level reasoning over polynomials, enabling formal verification of hardware circuits and cryptographic systems. Projects include CalgSAT for bit-precise verification and algebraic proof systems generating independent certificates for validation.

Key awards include the GI-Dissertation Award 2020, Heinz Zemanek Award 2022, Best Paper Awards at FMCAD'17 and MEDI'22, and the JKU Young Researchers' Award 2020. Her work has been recognized by the Austrian Computer Society and Generation Future initiative.

Daniela serves on program committees for major conferences like FMCAD, SAT, and TACAS, and holds leadership roles in artifact evaluation for venues such as TACAS 2025 and SAT 2025. She is affiliated with the FORSYTE research unit at TU Wien.