Eva Schenner
Mag.a phil.
Role
-
Office Services
Software Engineering, E194-01
Projects
-
Amazon Research Award for conducting research on "Testing Dafny for Unsoundness and Brittleness Bugs"
2024 – 2027 / Amazon Research Awards -
Testing Program Analyzers Ad Absurdum
2023 – 2028 / European Commission
Publications: 188016 / 188021 -
Effective Formal Methods for Smart-Contract Certification
2023 – 2027 / Vienna Science and Technology Fund (WWTF)
Publications: 192933 / 199514 -
EFFECTIVE CONSTRUCTION OF PROBABILISTIC HYBRID SEMI-PARAMETRIC MODELS FOR MODEL-BASED CONDITION MONITORING AND ACCELERATED MATERIAL DESIGN
2022 – 2027 / Austrian Research Promotion Agency (FFG) -
Facebook Faculty Research Award for significant research contributions in the area
of Program Analysis
2022 – 2025 / Max-Planck-Gesellschaft zur Förderu der Wissenschaften e.V. -
Google Research Scholar Award for conducting research on "Metamorphic Specification and Testing of Machine-Learning Models"
2022 – 2025 / Max-Planck-Gesellschaft zur Förderu der Wissenschaften e.V.
Publication: 188066 -
Bebras: international Challenge on Informatics and Computational Thinking
2007 – 2027 / Biber der Informatik
Publication: 189823