ERC Starting Grant — POLARIS - Advancing Polynomial and Logical Approaches for Trusted Automated Reasoning over Integrated Systems, 01/2027–12/2031, Principal Investigator, funded by European Research Council (1 500 000 Euro).
FWF ESPRIT — CalgSAT - Combining Computer Algebra with SAT for Word-Level Reasoning, 06/2024–05/2027, Principal Investigator, funded by Austrian Science Fund FWF (350 000 Euro).
Awards
Generation Future Frauen Förderpreis, 2nd place, ORF & Infineon (2022)
Heinz Zemanek Award, Austrian Computer Society (2022)
GI-Dissertation Award, Gesellschaft für Informatik (2021)
JKU Young Researchers' Award, JKU Linz (2020)
Best Paper Awards
Best Paper Award at MEDI for "Fuzzing-Based Grammar Inference" (2023)
Best Paper Award at FMCAD for "Column-Wise Verification of Multipliers Using Computer Algebra" (2017)