TU Ilmenau

Christian Schwarz, M. Sc.

Wissenschaflicher Mitarbeiter

Zusebau, Raum 1055
Helmholtzplatz 5
98693 Ilmenau

c.schwarz@tu-ilmenau.de
+49 3677 69 4159

Forschungsinteressen

Logik - Presburger Arithmetik