Jan Magott

Prof. Jan Magott holds a research position at the Faculty of Information and Communication Technology of Wrocław University of Science and Technology, specifically within the Department of Computer Engineering. His work bridges formal methods in computer science with safety engineering applications.

• Focus on safety-critical systems across railway and aviation domains
• Expertise in computational intelligence and dependability analysis

Research interests span:

• Formal verification of time-dependent systems
• Fault tree modeling with temporal constraints
• Functional Resonance Analysis Method (FRAM) applications
• Hospital safety and medical diagnostics optimization
• Urban transport reliability analysis
• Human factors in safety systems

Recent publications show increasing focus on:

• Railway safety protocols and traffic management (2023)
• Medical error prevention in primary care (2021-2020)
• Formal timing analysis in software engineering (2016)
• Aviation incident modeling with fuzzy logic (2016)

Key methodological contributions include:

• Time-dependent fault tree analysis
• Execution time modeling for real-time systems
• Fuzzy probability applications in safety engineering
• FRAM framework for complex system analysis