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
  • 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]

  • Publication
  • Staff

15.06.2026

Green promises, grey realities

Rachel Griffin and Barrie Sander examine AI greenwashing under EU law.

[Read more]

  • Network
  • Event
  • Staff

03.06.2026

Understanding how neural networks learn

Linara Adilova presented RC Trust research at a BIFOLD and ELLIS workshop on AI-driven scientific understanding.

[Read more]

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

Scroll To Top