Verification
Contact
Jana Berlit
Secretary
Contact
Technische Universität Ilmenau
Department of Computer Science and Automation
Institute of Theoretical Computer Science
Helmholtzplatz 5 (Zusebau, room 1046)
98693 Ilmenau
+49 3677 69 - 2655
fg-theorie@tu-ilmenau.de
office hours
Mon, Tue, Thur, Fri: 08:30 - 11:00 am, and by appointment