Filter Settings

Clear all filters Publication Talk Open Position Network Event Survey Staff Award
  • Staff
  • Verification and Formal Guarantees of Machine Learning

22.07.2026

From automata theory to trustworthy AI

Postdoc Chris Köcher joins Daniel Neider’s group at RC Trust

[Read more]

  • Staff
  • Verification and Formal Guarantees of Machine Learning

21.07.2026

From philosophy and logic to formal methods

PhD student Paul Fink joins Daniel Neider’s group at RC Trust.

[Read more]

  • Publication
  • Network
  • Event

15.07.2026

When calibration makes uncertainty look larger

At XAI 2026, RC Trust researcher Meltem Aksoy presented a framework that traces how calibration data shape prediction intervals.

[Read more]

  • Publication
  • Network
  • Staff
  • Causality

15.07.2026

Causal discovery under skewed noise

Daniel Klippert from the Causality group presented a poster at ICML 2026.

[Read more]

  • Network
  • Staff

14.07.2026

Testing the limits of today’s AI models

Ruhr Fellow David Broczkowski studies transformer verification in Daniel Neider’s group at RC Trust.

[Read more]

  • Network
  • Staff

14.07.2026

The quiet architecture of international research

Ulrike Guba used Erasmus+ Staff Mobility for job shadowing at Leiden University.

[Read more]

  • Network
  • Staff
  • Verification and Formal Guarantees of Machine Learning

13.07.2026

Checking the AI that checks chemical processes

Daniel Neider contributes to the second DFG funding phase of FOR 5359 on AI for safer chemical processes.

[Read more]

  • Network
  • Staff
  • Causality

13.07.2026

Learning from cause and consequence

Gabin Agbalé from Causality group attended the Reinforcement Learning Summer School in Milan.

[Read more]

  • Talk

08.07.2026

Uncertainty is not a flaw, but part of trustworthiness

At RC Trust, Julian Rodemann discussed feedback loops, uncertainty, and the communication of reliable data science.

[Read more]

Don't want to miss any news? We have an RSS feed and a monthly newsletter covering the highlights.

Scroll To Top