Profile
Monika Seisenberger is an Associate Professor in the Department of Computer Science, Swansea University.
Area of Expertise
- 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…
Specialist Areas
Events
-
Zienkiewicz Institute Community Event for Grant Calls
Time: 15th October 2025 Location: Eng North 010 and 008 Speakers: Overview of the Conference: The next Zienkiewicz Institute community event will be held on Wednesday, 15th October 2025. It will focus on the following three grant calls: UKRI Artificial Intelligence for Environmental Science Phase One (Deadline 11 December 2025) UKRK Addressing Nuclear Fission Challenges for a…