معرفی
Monika Seisenberger is an Associate Professor at the Department of Computer Science, Swansea University, within the Faculty of Science and Engineering. Her academic role is centered on Formal Methods, Interactive Theorem Proving, and Specification & Verification, with significant contributions to logic, proof theory, and well-quasiorders.
Research Interests: Her work bridges Computer Science and Mathematics, focusing on
- Program extraction from proofs
- Formal verification of safety-critical systems
- Applications of AI in medical and railway domains
- Computational content of choice principles
- Development of concurrent algorithms and toolchains
Article Trends: Her publications over the past decade highlight a consistent focus on formal methods applied to railway logistics, AI explainability in healthcare, and constructive mathematics. Notable themes include
- Counterfactual explanation generation
- Multi-agent optimization in transportation
- Temporal model analysis via gradients
- Railway system safety verification
- Verification of geographic data
- Computational logic foundations
Supervision & Collaboration: She actively supervises postgraduate research in areas like formal software verification, AI-driven railway technologies, and SHAP refinement, often collaborating with experts in Markus Roggenbach, Anton Setzer, and Fabio Caraffini.
Labs & Teams: Based at the Computational Foundry (Bay Campus), she contributes to Swansea University's Formal Methods research group, advancing tools for proof theory and program synthesis.
