معرفی
Matthias Hetzenberger is a PreDoc Researcher at the Department of Formal Methods in Systems Engineering, Technische Universität Wien. His research focuses on formal verification techniques and computational logic.
Research Interests:
- Formal Methods
- Systems Engineering
- Higher-Order Logic
- Constraint Solving
Publications: Recent work includes research on constraint superposition for higher-order logic (2023), advancing automated theorem proving methodologies.
۰مقاله منتشرشده
Matthias Hetzenberger در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- RRobin CoutelierVienna University of Technology · پژوهشگر
Jasmin Christian BlanchetteVrije University Amsterdam · دانشیار- AAndreas LacknerVienna University of Technology · پژوهشگر
- JJasmin BlanchetteLudwig Maximilian University of Munich · استاد
- XXavier ParentVienna University of Technology · پژوهشگر
- JJohannes SchoisswohlVienna University of Technology · پژوهشگر