Faculty of Mathematics and Natural Sciences

The Logic in Computer Science group focuses on theoretical computer science, with emphasis on logic, database theory, and complexity theory. Particular attention is paid to the relations between these areas. For example, logics serve as a basis for database query languages and specification languages used for automatic verification, and many aspects of complex systems can be modeled by logical structures. Thus, properties of complex systems can be specified by logical formulas. The overall aim of our group is to gain better understanding of the complexity inherent in a problem or a system. Here, we are interested in various measures of complexity, including the computational complexity ("How difficult is it to algorithmically solve the problem?") and the descriptive complexity ("How difficult is it to describe the problem in a suitable formalism?"). Particular attention is paid to the connection between logical description of problems and efficient algorithmic solutions.

Prof. Weidlich chairs a research group on "Databases and Information Systems" at the Department of Computer Science. Earlier, he held positions at Imperial College London and the Technion - Isreal Institute of Technology. The group focuses on data-driven analysis of process-oriented systems (process mining), approaches for efficient processing of continuous data streams, as well as methods for the design of workflows for exploratory data analysis. The algorithms and systems developed by the group have been successfully applied in diverse domains, reaching from health care through logistics to e-commerce.

As part of their scientific activity Dr Markus Krutzik and the team members of the.quantum.chapter have acquired an extensive amount of expertise in developing tailored quantum sensors - from key technology to subsystem and system level. Quantum optical sensors and optical clocks are used in high-precision inertial navigation, gravimetry and gradiometry or for the synchronisation of networks. Hence, they are central for navigating GPS-free environments, for geophysics, the exploration of natural resources, the monitoring of climate change, and for addressing fundamental questions of modern physics. Central to their research are compact and robust setups for optical spectrocopy, absolute frequency references, and ultra-cold atom based inertial sensors. For this purpose, the team developed lasers and optical systems for generation and manipulation of light, as well as control software and data management platforms. Their setups are not only operated in laboratory research: They are also used as in field or even in space. In addition to development, testing and operation of atomic quantum sensors, Dr Krutzik and the team gained expert knowledge in all stages of mission and system design, ranging from mission architecture and identification of requirements to system integration and qualification, as well as development of control concepts and data analysis. In addition to Humboldt-Universität zu Berlin Dr Krutzik is also associated with Ferdinand-Braun-Institut, Leibniz-Institut für Höchstfrequenztechnik.