معرفی
Daniela Kaufmann is a PostDoc Researcher at the Department of Formal Methods in Systems Engineering, part of the School of Informatics at Vienna University of Technology. Her work focuses on combining SAT solving and computer algebra for formal verification of arithmetic circuits.
Research Interests: Daniela specializes in
- Formal verification of arithmetic circuits
- Algebraic reasoning
- SAT/SMT solving
- Grammar inference
- Automated reasoning
- Finite field arithmetic verification
Recent Article Trends: Her publications emphasize hybrid approaches merging SAT techniques with computer algebra for circuit verification, finite field arithmetic reasoning in SMT solvers, and fuzzing-based grammar inference. She has contributed to tools like AMulet2 and PolySAT, addressing scalability challenges in multiplier verification.
Projects: Daniela is a key researcher in the
- CalgSAT (2024-2027)
- ARTIST (2021-2026)
- SFB SPyCoDe (2023-2026)
۰مقاله منتشرشده
Daniela Kaufmann در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Daniela KaufmannAlbert Ludwig University of Freiburg · پژوهشگر ارشد
Katalin FazekasVienna University of Technology · استادیار- RRobin CoutelierVienna University of Technology · پژوهشگر
Cayden CodelCarnegie Mellon University · پژوهشگر- AAleksandar ZeljićMax Planck Institute for Informatics · پژوهشگر
- EEnric Rodríguez CarbonellPolytechnic University of Catalonia · استاد