Aktuelles – Auszeichnungen

Harald Ganzinger (1950 – 2004) was bestowed with the 2021 CAV Award by the 33th International Conference on Computer Aided Verification.

Professor Bernt Schiele was appointed by the German National Academy of Natural Sciences Leopoldina, as a member