Databases and Information Systems
About
Our research focuses on specific types of information systems, those that are process-oriented and those that are event-driven. Such systems represent general-purpose technology with applications in diverse domains, reaching from health care through logistics to e-commerce. The group investigates formal methods for the specification and verification of information systems, their analysis based on log data, and techniques that optimise their run-time behaviour.