معرفی
Max Korn is a Researcher at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at Dresden University of Technology. His work focuses on formal methods and probabilistic systems, particularly in software verification and self-adaptive systems.
Research Interests:
- Probabilistic Model Checking
- Interactive Visualization Tools
- Self-adaptation Mechanisms
- Robustness in Autonomous Systems
- Computational Logic Applications
Recent Publications: Highlighted contributions include PMC-VIS for probabilistic model checking visualization and studies on pre-computed knowledge in self-adaptive systems.
Labs & Teams: Affiliated with the Algebraic and Logical Foundations of Computer Science group at ICCL.
۰مقاله منتشرشده
Max Korn در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Nikolai KäferDresden University of Technology · پژوهشگر
Jakob PiribauerDresden University of Technology · پژوهشگر- AAxel GroßmannDresden University of Technology · پژوهشگر
Robin ZiemekDresden University of Technology · پژوهشگر
Calvin ChauDresden University of Technology · پژوهشگر- CChristel BaierDresden University of Technology · استاد