Eva Schenner
Mag.a phil.
Role
-
Office Services
Software Engineering, E194-01
Projects
-
Types4Strings: Types for Strings
2024 – 2027 / Austrian Science Fund (FWF) -
Amazon Research Award for conducting research on "Testing Dafny for Unsoundness and Brittleness Bugs"
2024 – 2027 / Amazon Research Awards -
Dev0land
2024 – 2026 / Vienna Business Agency (WAW) -
Testing Program Analyzers Ad Absurdum
2023 – 2028 / European Commission
Publications: 188016 / 188021 / 204056 -
Effective Formal Methods for Smart-Contract Certification
2023 – 2027 / Vienna Science and Technology Fund (WWTF)
Publications: 192933 / 199514 / 199522 / 203882 / 203672 / 202379 / 203892 / 204116 -
Facebook Faculty Research Award for significant research contributions in the area
of Program Analysis
2022 – 2030 / 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 – 2030 / Max-Planck-Gesellschaft zur Förderu der Wissenschaften e.V.
Publication: 188066 -
EFFECTIVE CONSTRUCTION OF PROBABILISTIC HYBRID SEMI-PARAMETRIC MODELS FOR MODEL-BASED CONDITION MONITORING AND ACCELERATED MATERIAL DESIGN
2022 – 2027 / Austrian Research Promotion Agency (FFG) -
Bebras: international Challenge on Informatics and Computational Thinking
2007 – 2027 / Biber der Informatik
Publication: 189823