• Direkt zum Hauptmenü
  • Direkt zum Inhalt
  • Direkt zum Fußbereich
Google Suche
×
 
  • Universität
    • Kompass mit einer roten Nadel, die nach Norden zeigt Profil
      • Porträt und Leitbild
      • Struktur und Kontakt
      • Fakten und Zahlen
      • Referenzen und Auszeichnungen
      • Campus und Anfahrt
      • Satzungen und Ordnungen
    • Fakultäten
      • Fakultät Elektrotechnik und Informationstechnik
      • Fakultät Informatik und Automatisierung
      • Fakultät Maschinenbau
      • Fakultät Mathematik und Naturwissenschaften
      • Fakultät Wirtschaftswissenschaften und Medien
    • Mann mit Aktenkoffer steigt lange Treppe hoch Karriere
      • Arbeiten an der TU Ilmenau
      • Wissenschaftliche Karriere
      • Stellenangebote
      • Berufsausbildung
      • Stipendien und Stifter
    • Pressemitteilung Medien und News
      • Pressemitteilungen
      • UNIonline - Das Magazin
      • Veranstaltungen
      • Publikationen
      • Fotos und Videos
      • Themenjahr 2022 "Vernetzte Welt"
      • Pressesprecher
    • Quicklinks
      • Universitätsbibliothek
      • Universitätsrechenzentrum
      • Universitätssportzentrum
      • Referat Gleichstellung, Diversität & Gesundheit
      • Qualitätsmanagement
      • TU Ilmenau Transfer GmbH
      • Zentralinstitut für Bildung
      • Uni Shop
      • Universitätsgesellschaft
      • Solidarität mit der Ukraine
      • Corona-Informationen
      • UNIonline - Das Magazin
      • Intranet
  • Studium
    • Vor dem Studium
      • Studienangebot
        • Bachelorstudiengänge
        • Masterstudiengänge
        • Bewerbung
        • Online studieren
        • Studienvorbereitung
      • Uni erleben
        • Veranstaltungen
        • Uni unterwegs
        • Campusbesuch
        • Schüler forschen
      • Studentin schaut auf Stadtplan Studienstart
        • Studienberatung
        • Erste Schritte
        • Wohnen und Studienfinanzierung
        • Studieren mit Beeinträchtigung
        • Gesundheit und Familie
      • Studentenleben
        • Kultur
        • Sport
        • Vereine und Initiativen
        • Studentische Vertretungen
        • Ilmenau
        • Thüringen
      • Quicklinks
        • Corona-Informationen zum Studienstart
        • Bewerberportal
        • Zugangsvoraussetzungen
        • Studienberatung
        • Modultafeln
        • Doppelabschlüsse
        • Studieren im Ausland
        • Einführungsveranstaltungen
        • FAQ
        • Freiwilliges Jahr
    • Im Studium
      • Studienangebot
        • Bachelorstudiengänge
        • Masterstudiengänge
        • Diplomstudiengänge
        • Studienpläne (Online-Portal)
        • Doppelabschlüsse
        • Bewerbung
      • Studienverlauf
        • Studienberatung
        • Infos für Erstsemester
        • Studienorganisation
        • Studienstatus
        • Semestereckpunkte
        • Vorlesungen und Prüfungen
        • Thoska+ und IT-Services
        • Formulare und Recht
        • Beiträge und Gebühren
        • Kontakt
      • Schlüsselkompetenzen
        • Sprachen
        • Studium generale
        • practicING by BASIC
        • freies Kursangebot
        • UNIKAT
        • Ilmkubator Gründerservice
        • Allianz THÜRING Science Camps
      • Campus und Leben
        • Wohnen und Studienfinanzierung
        • Studentische Vertretungen
        • Vereine und Initiativen
        • Kultur
        • Sport
        • Gesundheit und Familie
        • Ilmenau
      • Quicklinks
        • Modultafeln
        • Moodle
        • Vorlesungsverzeichnis
        • Webmail
        • Prüfungsportal
        • Bibliothek
        • Jobs und Karriere
        • Cloud
        • Mensa
        • Semesterbeitrag
        • Beratungskompass (Intranet)
        • Corona-Informationen
    • Nach dem Studium
      • Berufseinstieg
        • Career Center
        • Wissenschaftliche Karriere
        • Stellenangebote der TU Ilmenau
        • Mentoring
        • Veranstaltungen
      • Gründerservice
        • Angebote des Ilmkubator Gründerservice
        • Ilmkubator Class
        • Partner und Netzwerk
        • Gründerstorys
        • Kontakt
      • Weiterbildung
        • Weiterbildungsangebote
        • Service und Beratung
        • PATONakademie
        • Berufsbegleitende Angebote
        • TU Ilmenau Bürgercampus
      • Alumni
        • AlumniCampus
        • Alumni finden
        • Alumni treffen
        • Informiert bleiben
        • Veranstaltungen
        • Alumni Faces
      • Quicklinks
        • als Alumni registrieren
        • Absolventenfeier
        • Promotion
        • Graduate Center
        • Career Center
        • Ilmkubator
        • Zentralinstitut für Bildung
        • PATONakademie
        • TU Ilmenau Bürgercampus
        • UNI-Shop
  • Forschung
    • Zwei Forscher im Reinraum mit Mundschutz Forschungsaktivitäten
      • Forschungsprofil
      • Forschung International
      • Forschungsprojekte
      • Fakultäten
      • Institute und Technologische Zentren
      • Forschungspartner der TU Ilmenau
    • Wirtschaft und Transfer
      • Transferstrategie und Handlungsfelder
      • Zusammenarbeit mit der TU Ilmenau
      • Transfer und Region
      • An-Institute
      • Ausgründungen aus der TU Ilmenau
    • Wissenschaftlicher Nachwuchs Wissenschaftliche Karriere
      • Promotion
      • Habilitation und Juniorprofessur
      • Tenure Track
      • Graduate Center
    • Service
      • Referat Forschungsservice und Technologietransfer
      • Ilmkubator Gründerservice
      • PATON | Landespatentzentrum Thüringen
      • Fort- und Weiterbildung - Zentralinstitut für Bildung
    • Quicklinks
      • Themenjahr 2022 "Vernetzte Welt"
      • Forschungsblog
      • Publikationen
      • Schutzrechte
      • Veranstaltungen
      • Leitlinien Transparenz
      • Gute wissenschaftliche Praxis
      • Gute Arbeitsbedingungen in der Wissenschaft
  • International
    • Come In
      • Studierende
      • Wissenschaftler*innen / PhD
      • Campus-Leben
    • Go Out
      • Studierende
      • Wissenschaftler*innen
      • Mitarbeiter*innen
    • Flaggen wehen im Wind TU Ilmenau weltweit
      • Kooperationen
      • Doppelabschlüsse
      • Erasmus+
      • Forschung International
    • Frau und Mann am Infotresen im Gespräch Service
      • International Office
      • we4you Studierendenservice
      • we4you Corona-Informationen
      • Welcome Center für internationale Wissenschaftler*innen
      • Intranet
    • Quicklinks
      • EU-Praktikum THÜRINGEN
      • Welcome Center
      • Dein Start in Ilmenau
      • APC / Vorfachstudium
      • Geflüchtete
      • DAAD
      • Veranstaltungsreihe 'Studieren International'
      • Mobility Online
      • GRIAT
Logo Technische Universität Ilmenau

Forschung

  • Fachgebiet Automaten und Logik
  • Team
    • Prof. Dr. Dietrich Kuske
    • M.Sc. Chris Köcher
    • M.Sc. Chr. Hugenroth
    • M.Sc. Chr. Schwarz
    • Dorothee Hering
    • Dipl.-Ing. Petra Schüller
  • Forschung
    • Publikationen
    • Forschungsseminar
    • Tagungen
    • Projekte
  • Lehre
    • Prüfungen
    • Seminar- und Abschlußarbeiten
    • Sommersemester 2022
    • Wintersemester 2021/2022
    • Sommersemester 2021
    • Wintersemester 2020/2021
  • Aktuelles
  • --
  • Zum Institut für Theoretische Informatik
×
 
English

Kontakt

Prof. Dr. Dietrich Kuske
Fachgebietsleiter

Telefon: +49 3677 69-1444

E-Mail: dietrich.kuske@tu-ilmenau.de

Kontaktformular

  • Startseite
  • Universität
  • Fakultäten
  • Fakultät Informatik und Automatisierung
  • Profil
  • Institute und Fachgebiete
  • Institut für Theoretische Informatik
  • Fachgebiet Automaten und Logik
  • Forschung
  • Publikationen
  • Forschungsseminar
  • Tagungen

Kontakt

TU Ilmenau
Ehrenbergstraße 29
98693 Ilmenau
Telefon +49 3677 69-0

Öffnet die Anfahrtsbeschreibung in neuem Tab (Karte)© OpenStreetMap-Mitwirkende, CC BY-SA

Service

  • Intranet
  • Struktur und Kontakt
  • Jobs und Karriere
  • Anfahrt und Campus

Infos

  • Studieninteressierte
  • Studierende
  • Unternehmen
  • Journalisten
  • TU Ilmenau 2022
  • Datenschutz
  • Impressum
  • Barrierefreiheit