Profile
Monika Seisenberger is an Associate Professor in the Department of Computer Science, Swansea University.
Area of Experties
- Formal Methods
- Program extraction
- Interactive theorem proving
- Specification and Verification
- Logic
- Proof theory
- Well- and better quasiorderings
Projects
-
Advancing AI-Driven Techniques for Complex Problem Solving: A Focus on Distributed Constraint Satisfaction Problems
Project Overview This research explores the development and application of AI-driven intelligent systems to enhance problem-solving efficiency and effectiveness in complex problem domains.The study focuses on designing novel frameworks and algorithms that leverage multi-agent systems, and intelligent agents to address large-scale and computationally challenging problems. One key area of interest is Distributed Constraint Satisfaction Problems…