Scholar
Daniela Kaufmann
Google Scholar ID: pQOKeK4AAAAJ
TU Wien
Citations & Impact
Citations
437
H-index
12
i10-index
15
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Best Paper Award at MEDI'22 in 2023; Heinz Zemanek Award 2022; GI-Dissertation Award 2020; JKU Young Researchers' Award 2020; Best Paper Award at FMCAD'17 in 2017.
Research Experience
- Since June 2024, FWF ESPRIT research fellow in the Automated Program Reasoning (APRe) group at TU Wien. Previously, senior researcher at Software Competence Center Hagenberg and postdoctoral researcher at LIT AI Lab, JKU.
Education
- PhD in Computer Science from Johannes Kepler University (JKU) in April 2020, supervised by Armin Biere and Manuel Kauers.
Background
- Research interests include applied formal methods, particularly hardware verification using computer algebra. Develops algebraic reasoning techniques based on the theory of Gröbner bases to prove the correctness of gate-level multiplier circuits.
Miscellany
- Academic service includes roles as a program committee member, co-chair, and other positions in various international conferences.
Co-authors