About
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.
0Publications listed
Find Max Korn elsewhere
Related Searches
You Might Also Like
Nikolai KäferDresden University of Technology · Researcher
Jakob PiribauerDresden University of Technology · Researcher- AAxel GroßmannDresden University of Technology · Researcher
Robin ZiemekDresden University of Technology · Researcher
Calvin ChauDresden University of Technology · Researcher- CChristel BaierDresden University of Technology · Professor