Prof. Dr. Weidenbach - IT Professor am Max Planck Institut Saarbrücken

Logische Verfahren helfen dabei, komplexe mathematische Probleme auf dem Computer zu knacken. Damit macht die Logik die Rechner klüger und schneller.

Sie kann sogar die Kommunikation zwischen Mensch und Maschine auf ein ganz neues Niveau heben.

Christoph Weidenbach vom Max-Planck-Institut für Informatik entwickelt seit dreißig Jahren solche vielversprechenden logischen Verfahren, die er auch am eigenen Rennwagen testet. 

Text: Tim Schröder