• 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
      • Nachhaltigkeit
      • 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
      • Pressesprecher
    • Quicklinks
      • Solidarität mit der Ukraine
      • 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
      • UNIonline - Das Magazin
      • Intranet
  • Studium
    • Vor dem Studium
      • Studienangebot
        • Bachelorstudiengänge
        • Masterstudiengänge
        • Bewerbung
        • Studienvorbereitung
        • FAQ Bewerbung/Einschreibung
      • Uni erleben
        • Veranstaltungen
        • Uni unterwegs
        • Campusbesuch
        • Schüler/innen forschen
      • Studentin schaut auf Stadtplan Studienstart
        • Erste Schritte
        • Studienberatung
        • Wohnen und Studienfinanzierung
        • Studieren mit Beeinträchtigung
        • Gesundheit und Familie
      • Studentenleben
        • Kultur
        • Sport
        • Vereine und Initiativen
        • Studentische Vertretungen
        • Ilmenau
        • Thüringen
      • Quicklinks
        • Bewerberportal
        • Zugangsvoraussetzungen
        • Studienberatung
        • Modultafeln
        • Doppelabschlüsse
        • Studieren im Ausland
        • Studienvorbereitung
        • Freiwilliges Jahr
        • FAQ
    • Im Studium
      • Studienangebot
        • Bachelorstudiengänge
        • Masterstudiengänge
        • Doppelabschlüsse
        • Sprachen
        • Studium generale
        • Lehrangebot auf Englisch
        • Bewerbung
      • Studienorganisation
        • Erste Schritte
        • Fristen und Termine
        • Lehrveranstaltungsplan
        • Studienausweis
        • IT Services
        • Formulare und Ordnungen
        • Beiträge und Gebühren
        • Mutterschutz
      • Studieren ist mehr
        • Freies Kursangebot
        • practicING by BASIC
        • UNIKAT
        • Ilmkubator Gründungsservice
        • Allianz THÜRING Science Camps
      • Information und Beratung
        • Administrative Guide
        • Studierendenverwaltung im ASC
        • Studierendenberatung
        • Beratungskompass
        • Beratungsangebote Studierendenwerk
        • Gesundheit und Familie
        • Studentische Vertretungen
      • Quicklinks
        • Interaktive Studienpläne
        • Moodle
        • Open Timetable
        • Webmail
        • Prüfungsportal
        • Meinungsbox
        • Jobportal
        • Cloud
        • Mensa
        • Bibliothek
        • Uni-Sportzentrum
        • Semesterbeitrag
        • Vereine und Initiativen
    • Nach dem Studium
      • Berufseinstieg
        • Career Center
        • Wissenschaftliche Karriere
        • Stellenangebote der TU Ilmenau
        • Mentoring
        • Veranstaltungen
      • Gründungsservice
        • Angebote des Ilmkubator Gründungsservice
        • Ilmkubator Class
        • Partner und Netzwerk
        • Gründungsstories
        • 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ündungsservice
      • PATON | Landespatentzentrum Thüringen
      • Fort- und Weiterbildung - Zentralinstitut für Bildung
      • Forschungsnahe Dienstleistungen der Universitätsbibliothek
    • Quicklinks
      • Themenjahr 2023 "Nachhaltigkeit"
      • 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
      • Welcome Center für internationale Wissenschaftler*innen
      • we4you Studierendenservice
      • we4you-Veranstaltungen
      • Intranet
    • Quicklinks
      • EU-Praktikum THÜRINGEN
      • Welcome Center
      • Dein Start in Ilmenau
      • APC / Vorfachstudium
      • Geflüchtete
      • DAAD
      • Veranstaltungsreihe 'Studieren International'
      • Mobility Online
      • GRIAT
  • UNIonline
Logo Technische Universität Ilmenau

Forschung

  • Fachgebiet Automaten und Logik
  • Team
    • Prof. Dr. Dietrich Kuske
    • M.Sc. Chr. Hugenroth
    • M. Sc. Christian Schwarz
    • Andreas Krechla
  • Forschung
    • Publikationen
    • Forschungsseminar
    • Tagungen
  • Lehre
    • Prüfungen
    • Seminar- und Abschlußarbeiten
    • Sommersemester 2023
    • Wintersemester 2022/2023
    • Sommersemester 2022
    • Wintersemester 2021/2022
  • 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 2023
  • Datenschutz
  • Impressum
  • Barrierefreiheit