Logo: German Research InstitutionsGerman Research Institutions

Forschungsgruppe Theoretische Informatik/Formale Methoden

  • Promotion
  • Einrichtungen
  • Projekte / Promotionsmöglichkeiten
  • Top
Universität Kassel

Forschungsgruppe Theoretische Informatik/Formale Methoden

Wilhelmshöher Allee 71-73, 34121 Kassel

Zur HomepageTheoretische Informatik

Zugehörige Einrichtungen

  • Center for Environmental Systems Research
  • Center for Interdisciplinary Nanostructure Science and Technology (CINSaT)
  • Fachbereich 01 - Humanwissenschaften
  • Fachbereich 02 - Geistes- und Kulturwissenschaften
  • Fachbereich 05 - Gesellschaftswissenschaften
  • Fachbereich 06 - Architektur, Stadt- und Landschaftsplanung
  • Fachbereich 07 - Wirtschaftswissenschaften
  • Fachbereich 10 - Mathematik und Naturwissenschaften
  • Fachbereich 11 - Ökologische Agrarwissenschaften
  • Fachbereich 14 - Bauingenieur- und Umweltingenieurwesen
  • Fachbereich 15 - Maschinenbau
  • Fachbereich 16 - Elektrotechnik / Informatik
    • Fachgebiet Angewandte Informationssicherheit
    • Fachgebiet Automation und Sensorik in vernetzten Systemen (ASN)
    • Fachgebiet Computational Materials and Photonics (CMP)
    • Fachgebiet Digitaltechnik
    • Fachgebiet Gender/Diversity in Informatiksystemen (GeDiS)
    • Fachgebiet Integrierte Energiesysteme
    • Fachgebiet Intelligente Eingebettete Systeme
    • Fachgebiet Messtechnik
    • Fachgebiet Mikrowellentechnik
    • Fachgebiet Nachrichtentechnik
    • Fachgebiet Programmiersprachen/-methodik
    • Fachgebiet Rechnerarchitektur und Systemprogrammierung
    • Fachgebiet Regelungs- und Systemtheorie
    • Fachgebiet Software Engineering
    • Fachgebiet Technische Informatik
    • Fachgebiet Theoretische Informatik
    • Fachgebiet Wissensverarbeitung
    • FG Verteilte Systeme
    • Forschungsgruppe Theoretische Informatik/Formale Methoden
    • Institut für Elektrische Energietechnik
    • Institut für Nanostrukturtechnologie und Analytik (INA)
  • International Center for Higher Education Research (INCHER)
  • Kunsthochschule Kassel
  • Wissenschaftliches Zentrum für Informationstechnik-Gestaltung (ITeG)
  • Zentrale Einrichtungen