About
Eva Schenner is a Researcher at TU Wien's Department of Software Engineering, affiliated with both the Office Services and eduLAB teams. She specializes in formal methods, program analysis, and machine learning applications in software engineering. Her work focuses on testing tools, smart contract certification, and probabilistic models for material design.
She has led multiple high-profile projects, including the FWF-funded 'Types4Strings' (2024–2027), WWTF's 'Effective Formal Methods for Smart-Contract Certification' (2023–2027), and an Amazon Research Award project on testing Dafny (2024–2027). Her research also spans metamorphic testing of machine-learning models and probabilistic hybrid models for material design.
- Education: Mag.a phil. (Master of Philosophy)
Her awards include Amazon and Google Research Awards, and grants from the WWTF and Max-Planck-Gesellschaft. She actively contributes to initiatives like Bebras, promoting computational thinking education since 2007.
- Labs/Teams: Involved in the Software Engineering group within the Faculty of Informatics, collaborating with industry partners like Amazon and Google.
Find Eva Schenner elsewhere
Related Searches
You Might Also Like
- MMaria ChristakisBrown University · Professor
- JJürgen CitoVienna University of Technology · Associate Professor
- MMaria ChristakisVienna University of Technology · Professor
- CChristoph HochrainerVienna University of Technology · Researcher
- AAlastair DonaldsonBrown University · Professor
- EEzio BartocciVienna University of Technology · Professor