-
TU Dortmund
-
Meldung:
11.9.2020
„Graduiertenkolleg und Interdisziplinarität – das passt hervorragend zusammen“
Prof. Rehof, woran forschen Sie gerade? Ich befasse mich mit Grundlagenfragen der theoretischen Informatik, wie zum Beispiel der Automatisierung von mathematischer Logik, insbesondere in der sogenannt …