Core Informatics

A Helmholtz Pilot Program

In the information age, computers are a major driver of progress in all areas of research, technology, economy, and society. Thus, high quality software and hardware (correct, dependable, secure, efficient, with sophisticated functionality, fair, . . . ) becomes a genuine subject of provisional research and a matter of technological sovereignty. Therefore, core informatics was established by the Helmholtz Association to research on generic (yet application-oriented) methods of informatics.

Core informatics is divided into three research areas:

  • Area 1: Algorithm and Software Engineering
  • Area 2: Data Analysis, Machine Learning and HCI
  • Area 3: Systems – Hardware, Networking and Networked Systems

Participating organisations

Karlsruhe Institute of Technology (KIT)

Team

Related software

KeY

KE

KeY is a deductive verification system for Java programs

Updated 4 months ago
776 30

KeYmaera X

KE

An aXiomatic Tactical Theorem Prover for Hybrid Systems

Updated 3 months ago
3 2

Palladio

PA

Palladio is a software architecture simulation approach which analyses software at the model level for performance bottlenecks, scalability issues, reliability threats, and allows for subsequent optimisation.

Updated 2 days ago
679 3