
Karl Bringmann forscht am Max-Planck-Institut für Informatik auf dem Gebiet der theoretischen Informatik. Dort beschäftigt er sich mit der Frage, was Computer sicher berechnen und was sie sicher überfordert, um besser zu verstehen, welche Probleme überhaupt von Rechenmaschinen gelöst werden können. Für seine Arbeiten ist Bringmann nun mit zwei bedeutenden…