Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Database and Information Systems

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.