Daniela Kaufmann

Daniela Kaufmann is a senior project researcher in formal methods with a focus on applying computer algebra to automated reasoning. She is currently an FWF ESPRIT fellow at TU Wien in the Automated Program Reasoning (APRe) group, where she is the PI of her own project on combining computer algebra with propositional reasoning to advance the state-of-the-art in bit-precise reasoning. She received her PhD in Computer Science from Johannes Kepler University Linz. Her dissertation has been recognized with several prestigious awards, including the Heinz Zemanek Award from the Austrian Computer Society, and the GI Dissertation Award for an outstanding dissertation in the area of computer science, jointly awarded by the computer science associations of Germany, Austria, and Switzerland.