Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Process-Driven Architectures

Databases and Information Systems

Group led by Prof. Dr. Matthias Weidlich

 

Über die Gruppe / 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.