Areas of Expertise

  • Explainable AI
  • Argumentation
  • Multi-agent Systems
  • Artificial Intelligence

Publications

  1. (0). A Temporal Planning Example with Assumption-Based Argumentation. Presented at PRIMA 2018: Principles and Practice of Multi-Agent Systems,, 362-370. doi:10.1007/978-3-030-03098-8_22
  2. & An explainable multi-attribute decision model based on argumentation. Expert Systems with Applications 117, 42-61.
  3. On Generating Explainable Plans with Assumption-Based Argumentation. In PRIMA 2018: Principles and Practice of Multi-Agent Systems. (pp. 344-361). Tokyo: The 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA2018).
  4. PRIMA 2018: Principles and Practice of Multi-Agent Systems. Tokyo: The 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA2018).
  5. & Fall Detection with Unobtrusive Infrared Array Sensors. In Multisensor Fusion and Integration in the Wake of Big Data, Deep Learning and Cyber Physical System. (pp. 253-267). Springer.

See more...

Teaching

  • CSC364 Software Testing

    Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will cover various test scenarios; practical exercises will allow the students to gain hands-on experience.

  • CSCM23 Designing-in Trust, Understanding and Negotiation

    This module explores state-of-the-art methods and concepts to assist responsible design and development of technology with the aim of creating reliable and trusted systems. The content of this module will be delivered by expert lecturers and practitioners in the areas of trusted computation, bias and explainability in automated decision making and decision support, ethical considerations for AI, argumentation and negotiation, as well as formal methods, such as verification of critical systems.

  • CSCM64 Software Testing

    Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will provide an in-depth introduction to various test scenarios and enable students to gain hands-on experience by means of a number of practical exercises.

  • CSF303 Software Testing

    Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will cover various test scenarios; practical exerercises will allow the students to gain hands-on experience.

Supervision

  • NP-completeness: reductions from SAT to N-Queens-completion (current)

    Student name:
    MSc
    Other supervisor: Dr Oliver Kullmann