Eva SchennerView profile
Researcher
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.







