Dr. Daniela Kaufmann

From July 2016 until April 2020, I was a Ph.D. student of Computer Science at JKU, supervised by Prof. Armin Biere.
My thesis is on Formal Verification of Multiplier Circuits using Computer Algebra.

Research Interests

  • Arithmetic Circuit Verification
  • Computer Algebra
  • Algebraic Proof Systems
  • Rigorous Systems Engineering

Publications

A list of my publications can be found here: Publications
Note: some of them are published under my maiden name 'Ritirc'.

Talk Slides

Office

Science Park 3 (SCP3), 2nd Floor
Room S3 0254

Contact

daniela.kaufmann@jku.at
+43 732 2468 4549 (phone)

Address

Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria