Daniela Kaufmann

I am currently a postdoctoral researcher at the Institute of Formal Models and Verification, lead by Armin Biere, at Johannes Kepler University (JKU) in Linz Austria.

Prior to that I finished my PhD in Computer Science at JKU in April 2020. My PhD thesis is on formal verification of multiplier circuits using computer algebra and was supervised by Armin Biere and Manuel Kauers.

In my research I focus on applied formal methods, more precisely hardware verification using computer algebra. In other words, I develop algebraic reasoning techniques based on the theory of Gröbner bases that allow proving the correctness of gate-level multiplier circuits. My first publication on verifying multiplier circuits won the best-paper award at FMCAD’17. Furthermore, I work on algebraic proof systems. The goal is to automatically generate certificates, which can be checked by independent proof checkers in order to validate the result of the verification tool.

Education

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

Awards

2020JKU Young Researchers' Award 2020
2017Best Paper Award FMCAD'17

Academic Service

2021CAV'21 Artifact Evaluation Committee
TACAS'21 Artifact Evaluation Committee
IEEE TCAD Reviewer
Subreviewer: CADE-28'21, DATE'21, ETS'21, ISSAC'21
2020ETS 2020 Reviewer
Subreviewer: FMCAD'20, SAT'20
2019IEEE TCAD Reviewer
Subreviewer: DATE'19
2018IEEE TCAD Reviewer
Subreviewer: CAV'18, DATE'18, FMCAD'18, IJCAR'18, TACAS'18


In my free time I enjoy doing 3D archery – a fantastic outdoor sport, which allows me to balance myself. In case of bad weather, I enjoy a good book or binge-watching TV shows. I know that’s not a hobby one would typically add to a CV. But if it is a good series, there is nothing that can part me from my couch. In addition I am also proud to be a level 82 Tetris 99 player.

My resume offers more details. Please, send me a message to receive a copy.