Research Interests

  • Information systems: interplay between formal and human aspects
    • formal methods and human aspects thereof
    • formalisation of software artifacts, visual notations, business processes
    • software quality, combinatorial test design
    • requirement engineering
  • Logic: non-classical logics, paraconsistent logics, proof theory, logic education
  • Technology for animalsanimal-computer interaction, intelligent systems for animal welfare