معرفی
Markus Fleischmann is a Researcher at the Vienna University of Technology, affiliated with the Faculty of Informatics and the Department of Software Engineering. His work focuses on improving program analyzers through constraint-based testing and formal verification.
- Role: Researcher (PreDoc)
- Contact: markus.fleischmann@tuwien.ac.at
- Project: MirandaTesting (2023–2028): Automated soundness testing of program analyzers
Research areas include:
- Program analysis and testing
- Constraint-based verification
- Formal methods in software engineering
Markus is based in Room HB0222 at Favoritenstrasse 9, and his recent publications emphasize automated testing frameworks for program analyzers.
۰مقاله منتشرشده
Markus Fleischmann در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- DDavid Michael KaindlstorferVienna University of Technology · پژوهشگر
- EEva Maria WagnerVienna University of Technology · پژوهشگر
- AAnastasia IsychevVienna University of Technology · پژوهشگر
- MMark Jonathan ChimesVienna University of Technology · پژوهشگر
- CChristoph HochrainerVienna University of Technology · پژوهشگر
- TTobias NießenVienna University of Technology · پژوهشگر