Formal Methods monitoring Runtime Verification

PE Physical Sciences and Engineering PE6 Computer Science and Informatics PE6_4 Theoretical computer science, formal methods, automata

RTLola is a real-time monitoring toolkit for cyber-physical systems and networks

RTLola

Aeronautics, Space and Transport Artificial Intelligence Big data Earth & Environment Energy Health Information Machine learning Matter

Democratizing AI

Helmholtz AI

Software developed or co-developed in the scope of the DAPHNE4NFDI consortium

DAPHNE4NFDI

DataHub Initiative of the Research Field Earth and Environment

DataHub

FERN.Lab

Aeronautics, Space and Transport Artificial Intelligence Data Science Earth & Environment Energy Health Imaging Imaging science Information Machine learning Matter Research Software Engineering

We catalyze scientific discovery from sensory measurements to knowledge.


Helmholtz Imaging

Going deep with data science to better understand - and protect - the largest habitat on our planet. The Helmholtz School for Marine Data Science (MarDATA) bundles scientific marine expertise in the far north.

Helmholtz School for Marine Data Science (MarDATA)

Helmholtz Federated IT Services

HIFIS

PE Physical Sciences and Engineering PE6 Computer Science and Informatics PE6_3 Software engineering, programming languages and systems

Helmholtz Platform for Research Software Engineering - Preparatory Study

HiRSE_PS

Helmholtz Metadata Collaboration

drilling Earth & Environment environmental change geodynamic processes Geohazards Georesources

PE Physical Sciences and Engineering PE10 Earth System Science PE10_12 Sedimentology, soil science, palaeontology, earth evolution PE10_17 Hydrology, hydrogeology, engineering and environmental geology, water and soil pollution PE10_20 Geohazards PE10_5 Geology, tectonics, volcanology PE10_6 Palaeoclimatology, palaeoecology PE10_7 Physics of earth’s interior, seismology, geodynamics

Exploring our Earth through science in depth

International Continental Scientific Drilling Program (ICDP)

Component-Based Software Engineering Data Science Formal Methods Formal Verification Human-Computer-Interface Machine learning Neural network Research Software Engineering Software Engineering

PE Physical Sciences and Engineering PE6 Computer Science and Informatics PE6_1 Computer architecture, embedded systems, operating systems PE6_10 Web and information systems, data management systems, information retrieval and digital libraries, data fusion PE6_11 Machine learning, statistical data processing and applications using signal processing ( e.g. speech,image,video) PE6_2 Distributed systems, parallel computing, sensor networks, cyber-physical systems PE6_3 Software engineering, programming languages and systems PE6_4 Theoretical computer science, formal methods, automata PE6_6 Algorithms and complexity, distributed, parallel and network algorithms, algorithmic game theory PE6_7 Artificial intelligence, intelligent systems, natural language processing PE6_9 Human computer interaction and interface, visualisation

All projects