Daniela Kaufmannhttps://danielakaufmann.at/Recent content on Daniela KaufmannSource Themes academia (https://sourcethemes.com/academic/)en-usdaniela.kaufmann@tuwien.ac.atdaniela.kaufmann@tuwien.ac.atCopyright &copy; {year} Daniela KaufmannFri, 24 Jul 2026 00:00:00 +0000Publicationshttps://danielakaufmann.at/publication/Fri, 24 Jul 2026 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/Selected Invited Talks & Seminar Talkshttps://danielakaufmann.at/talk/Tue, 02 Jun 2026 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/talk/Authorshttps://danielakaufmann.at/authors/Mon, 01 Jan 0001 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/authors/Awardshttps://danielakaufmann.at/awards/Mon, 01 Jan 0001 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/awards/<div class="service-page awards-page"> <h2 id="research-grants">Research Grants</h2> <ul class="fa-ul"> <!-- HIDDEN until 2026-09-03 (ERC embargo) — restore by uncommenting below. <li><i class="fa-li fas fa-coins" aria-hidden="true"></i><strong>ERC Starting Grant</strong> — <em>POLARIS - Advancing Polynomial and Logical Approaches for Trusted Automated Reasoning over Integrated Systems</em><span class="award-detail">, 01/2027–12/2031, Principal Investigator, funded by European Research Council (1 500 000 Euro).</span></li> --> <li><i class="fa-li fas fa-coins" aria-hidden="true"></i><strong>FWF ESPRIT</strong> — <em>CalgSAT - Combining Computer Algebra with SAT for Word-Level Reasoning</em><span class="award-detail">, 06/2024–05/2027, Principal Investigator, funded by Austrian Science Fund FWF (350 000 Euro).</span></li> </ul> <h2 id="awards">Awards</h2> <ul class="fa-ul"> <li><i class="fa-li fas fa-award" aria-hidden="true"></i><strong>Generation Future Frauen Förderpreis</strong><span class="award-detail">, 2nd place, ORF &amp; Infineon (2022)</span></li> <li><i class="fa-li fas fa-award" aria-hidden="true"></i><strong>Heinz Zemanek Award</strong><span class="award-detail">, Austrian Computer Society (2022)</span></li> <li><i class="fa-li fas fa-award" aria-hidden="true"></i><strong>GI-Dissertation Award</strong><span class="award-detail">, Gesellschaft für Informatik (2021)</span></li> <li><i class="fa-li fas fa-award" aria-hidden="true"></i><strong>JKU Young Researchers' Award</strong><span class="award-detail">, JKU Linz (2020)</span></li> </ul> <h2 id="best-paper-awards">Best Paper Awards</h2> <ul class="fa-ul"> <li><i class="fa-li fas fa-trophy" aria-hidden="true"></i><strong>Best Paper Award at MEDI</strong><span class="award-detail"> for "Fuzzing-Based Grammar Inference" (2023)</span></li> <li><i class="fa-li fas fa-trophy" aria-hidden="true"></i><strong>Best Paper Award at FMCAD</strong><span class="award-detail"> for "Column-Wise Verification of Multipliers Using Computer Algebra" (2017)</span></li> </ul> </div>Servicehttps://danielakaufmann.at/service/Mon, 01 Jan 0001 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/service/<div class="service-page"> <h2 id="steering-committee-memberships">Steering Committee Memberships</h2> <ul> <li>2027&ndash;ongoing — <a href="https://etaps.org/about/steering-committee/">ETAPS</a>, <em>Artifact Evaluation Coordinator</em></li> <li>2024–2027 — <a href="http://www.sc-square.org/workshops.html">SC2</a></li> </ul> <h2 id="chairing">Chairing</h2> <ul> <li>2025 &mdash; <a href="https://fmcad.org/FMCAD25/">FMCAD</a>, <em>Program Chair</em></li> <li>2025 — <a href="https://etaps.org/2025/conferences/tacas/">TACAS</a>, <em>Artifact Evaluation Chair</em></li> <li>2025 — <a href="https://ifm2025.ens.psl.eu/">iFM</a>, <em>Artifact Evaluation Chair</em></li> <li>2024 — <a href="http://www.sc-square.org/workshops.html">SC2</a>, <em>Program Chair</em></li> <li>2024 — <a href="http://satisfiability.org/SAT24/workshops.php">SAT</a>, <em>Workshop Chair</em></li> <li>2024 — <a href="https://ifm2024.cs.manchester.ac.uk/">iFM</a>, <em>Artifact Evaluation Chair</em></li> </ul> <h2 id="organization">Organization</h2> <ul> <li>2026 — <a href="https://www.birs.ca/events/2026/5-day-workshops/26w5626">BIRS Seminar</a>: Theory and Practice of SAT and Combinatorial Solving (26w5626), <em>Co-Organizer, Banff International Research Station, Banff, Alberta, Canada</em></li> <li>2025 — <a href="https://www.dagstuhl.de/25231">Dagstuhl Seminar</a>: Certifying Algorithms for Automated Reasoning (25231), <em>Co-Organizer, Schloss Dagstuhl, Wadern, Germany</em></li> </ul> <h2 id="editorial-tasks">Editorial Tasks</h2> <ul> <li>Ongoing &mdash; <a href="https://link.springer.com/journal/10703">FMSD</a>: Special Issue on Selected Papers of FMCAD 2025, Springer</li> <li>Ongoing &mdash; <a href="https://www.sciencedirect.com/journal/science-of-computer-programming">Sci. Comput. Program.</a>: Original Software Publications - Selected Software Artifacts from the Papers of iFM 2025, Elsevier</li> </ul> <h2 id="program-committee-memberships">Program Committee Memberships</h2> <ul> <li>2026 — <a href="https://fmcad.org/FMCAD26/">FMCAD</a>, <a href="https://www.floc26.org/ijcar">IJCAR</a>, <a href="https://www.eprover.org/EVENTS/IWIL-2026.html">IWIL</a>, <a href="https://easychair.org/smart-program/LPAR-26/">LPAR</a>, <a href="https://paar2026.github.io/">PAAR</a>, <a href="https://etaps.org/2026/conferences/tacas/">TACAS</a>, <a href="http://www.wikicfp.com/cfp/program?id=2979&amp;f=Verified">VSTTE</a>, <a href="https://ciaranm.github.io/WHOOPS26/">WHOOPS</a></li> <li>2025 — <a href="https://ecai2025.org/">ECAI</a> (Senior PC), <a href="https://satisfiability.org/SAT25/">SAT</a></li> <li>2024 — <a href="https://atva-conference.org/2024/">ATVA</a>, <a href="https://cp2024.a4cp.org/">CP</a>, <a href="https://fmcad.org/FMCAD24/">FMCAD</a>, <a href="https://merz.gitlabpages.inria.fr/2024-ijcar/">IJCAR</a>, <a href="https://eit.rptu.de/fgs/eis/mbmv24">MBMV</a>, <a href="https://paar2024.github.io/">PAAR</a>, <a href="http://satisfiability.org/SAT24/">SAT</a>, <a href="https://sefm-conference.github.io/2024/">SEFM</a>, <a href="https://smt-workshop.cs.uiowa.edu/2024/">SMT</a>, <a href="https://popl24.sigplan.org/home/VMCAI-2024">VMCAI</a></li> <li>2023 — <a href="https://cicm-conference.org/2023/cicm.php">CICM</a>, <a href="https://fmcad.org/FMCAD23/">FMCAD</a>, <a href="https://fmcad.org/FMCAD23/student_forum/">FMCAD Student Forum</a>, <a href="https://eprover.org/EVENTS/IWIL-2023.html">IWIL</a>, <a href="https://cca.informatik.uni-freiburg.de/mbmv23/">MBMV</a>, <a href="http://satisfiability.org/SAT23/">SAT</a>, <a href="http://www.wikicfp.com/cfp/program?id=2559&amp;f=Brazilian%20Symposium%20on%20Formal%20Methods">SBMF</a>, <a href="https://sefm-conference.github.io/2023/">SEFM</a>, <a href="https://smt-workshop.cs.uiowa.edu/2023/index.shtml">SMT</a></li> <li>2022 — <a href="http://www.sc-square.org/CSA/workshop7.html">SC2</a>, <a href="https://fmcad.org/FMCAD22/student_forum/">FMCAD Student Forum</a></li> </ul> <h2 id="artifact-evaluation-committee-memberships">Artifact Evaluation Committee Memberships</h2> <ul> <li>2023 — <a href="http://i-cav.org/2023/">CAV</a></li> <li>2022 — <a href="http://i-cav.org/2022/">CAV</a>, <a href="https://etaps.org/2022/tacas">TACAS</a></li> <li>2021 — <a href="https://etaps.org/2021/tacas">TACAS</a></li> </ul> <h2 id="journal-reviewer">Journal Reviewer</h2> <p>Reviewed manuscripts for <a href="https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=43">TCAD</a>, <a href="https://link.springer.com/journal/10703">FMSD</a>, <a href="https://link.springer.com/journal/10270">JSSM</a>, <a href="https://www.computer.org/csdl/journal/tc">TOC</a>, <a href="https://ets2020.ttu.ee/">ETS</a>.</p> <h2 id="jury-member">Jury Member</h2> <ul> <li>2025 — <a href="https://www.vcla.at/vcla-awards/">VCLA International Student Awards</a></li> <li>2024 — <a href="https://www.vcla.at/vcla-awards/">VCLA International Student Awards</a></li> </ul> <h2 id="member-of-professional-organizations">Member of Professional Organizations</h2> <ul> <li><a href="https://aarinc.org/">Association for Automated Reasoning</a></li> <li><a href="https://www.satassociation.org/">SAT Association</a></li> <li><a href="https://etaps.org/">ETAPS Association</a></li> <li><a href="https://fmcad.or.at/">FMCAD Association</a></li> <li><a href="https://www.ocg.at/en">Austrian Computer Society (ÖCG)</a></li> </ul> </div>