Current information from the Workgroup
-
Verteidigung Dr. Moritz Lichter
2023/06/23
Am 23.06.2023 verteidigte Herr Dr. Moritz Lichter erfolgreich seine Dissertation mit dem Thema „Continuing the Quest for a Logic Capturing Polynomial Time – Potential, Limitations, and Interplay of Current Approaches“.
-
Verteidigung Dr. Jendrik Brachter
2023/06/23
Am 15.11.2023 verteidigte Herr Dr. Jendrik Brachter erfolgreich seine Dissertation mit dem Thema „Combinatorial approaches to the group isomorphism problem“.
-
Rubik's Cube in 20 Zügen
2023/04/26
Am 26.4.2023 trug Herr Herbert Kociemba zum Thema „Rubik's Cube in 20 Zügen“ vor.