Research Area A: DAW Specification

This research area comprises five subprojects that research DAW specification and validation at the logical level, and how logical DAWs are translated into physical plans by a DAW engine. These projects aim to improve environmental and technological sustainability, usability, and dependability in a multi-site context. All subprojects within this area (except A1) are interdisciplinary, i.e., have one PI from Computer Science and one from a Natural Science.

A1: Query-driven Validation of Distributed DAWs

A2: Energy-Aware Optimization of Workflows in Bioinformatics

A3: Hardening Computational Materials-Science Workflows against Human Errors

A5: Workflows for Annotation-Efficient Machine Learning in Biomedical Imaging Research

A6: Data Analysis Workflows for Interactive Scientific Exploration Continued as C1

A7: Semantic Composition and Validation of Interacting DAWs in Computational Materials Science