INHALTE
Prof. Dr. Dietrich Kuske
Kontakt
| E-Mail: | <vorname>.<nachname>@tu-ilmenau.de |
|---|---|
| Telefon: | +49 3677 69-1444 |
| Büro: | Zusebau, Raum 1047 |
| Postadresse: | Fachgebiet Theoretische Informatik |
| Sprechstunde: | jederzeit bzw. nach email-Vereinbarung |
| detaillierte Informationen |
Forschungsinteressen
- Logik in der Informatik
- Automatentheorie
- Verbindung dieser Gebiete
Veröffentlichungen
Lehrveranstaltungen SS 12
- Vorlesung: Logische Strukturen
- Vorlesung: Public Key Kryptographie
- Vorlesung: Logik in der Informatik
- Vorlesung: Formale Sprachen und Komplexität
Lehrveranstaltungen WS 11/12
- Vorlesung: Automaten und Formale Sprachen
- Vorlesung: Berechenbarkeit und Komplexitätstheorie
- Vorlesung: Automatentheorie
- Vorlesung: Verifikation unendlicher Systeme
- Hauptseminar: Automaten und Formale Sprachen
Lehrveranstaltungen SS 11
- Vorlesung: Logische Strukturen
- Vorlesung: Public Key Kryptographie
- Vorlesung: Logik in der Informatik
Lehrveranstaltungen WS 10/11
- Vorlesung: Automaten und Formale Sprachen
- Vorlesung: Berechenbarkeit und Komplexität
- Vorlesung: Termersetzungssysteme