معرفی
Dr. Josef Widder is an Affiliated Researcher and Privatdozent at Technische Universität Wien's Embedded Computing Systems department. His research develops formal methods for verifying fault-tolerant distributed systems, with contributions to model checking and concurrent system verification.
Core research areas include parameterized verification techniques, Byzantine fault tolerance, and synchronization in distributed algorithms. Recent work focuses on efficient model checking approaches for synchronous systems and counter abstraction methods.
Supervision activities include doctoral students working on SMT-driven verification techniques and symbolic verification of distributed algorithms. Recognized through dissertation awards for contributions to distributed computing theory.
Josef Widder در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Igor KonnovVienna University of Technology · مدرس- FFlorian ZulegerVienna University of Technology · دانشیار
- UUlrich SchmidVienna University of Technology · استاد
Matthias FüggerVienna University of Technology · استاد- KKarine AltisenGrenoble Alps University · دانشیار
- WWilfried SteinerVienna University of Technology · دانشیار