معرفی
Eva Maria Wagner is a PreDoc Researcher in the Department of Formal Methods in Systems Engineering at Vienna University of Technology (E192-04). Her contact email is eva.maria.wagner@tuwien.ac.at, and she works in Room HA0305 at Favoritenstrasse 9, Vienna.
Education:
- Diploma Thesis (2024): Program synthesis of provable recursive functions, Technische Universität Wien
Research Focus: Eva specializes in formal methods, program synthesis, and recursive programming. Her work bridges theoretical computer science with practical systems engineering, particularly in automated reasoning and software verification.
Recent Publications: Her research explores the synthesis of recursive programs using saturation techniques and the development of provable recursive functions. These contributions align with advancements in automated deduction and formal verification.
Eva Maria Wagner در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- MMark Jonathan ChimesVienna University of Technology · پژوهشگر
- MMarton HajduVienna University of Technology · پژوهشگر
- OOlha DenisovaVienna University of Technology · پژوهشگر
- MMarkus FleischmannVienna University of Technology · پژوهشگر
- RRobin CoutelierVienna University of Technology · پژوهشگر
- MMatthias NitzschkeVienna University of Technology · پژوهشگر