Logo: German Research InstitutionsGerman Research Institutions

Research Group Theoretical Computer Science/Formal Methods

  • Doctoral programmes
  • Institutions
  • Projekts / Doctoral Opportunities
  • Top
University of Kassel

Research Group Theoretical Computer Science/Formal Methods

Wilhelmshöher Allee 71-73, 34121 Kassel

Go to websiteTheoretical Computer Science

Affiliated institutions

  • Center for Environmental Systems Research
  • Center for Interdisciplinary Nanostructure Science and Technology (CINSaT)
  • Department 1 - Humanities
  • School of Humanities
  • Department 5 - Social Sciences
  • Department 06 - Architecture, Urban Planning, Landscape Planning
  • Department 7 - Economics
  • Faculty 10: Mathematics and Natural Sciences
  • Faculty 11 - Organic Agricultural Sciences
  • Faculty 14: Civil and Environmental Engineering
  • Department 15 - Mechanical Engineering
  • Faculty 16 - Electrical Engineering/Information Science
    • Department Applied Information Security
    • Automation and Sensorics in Networked Systems (ASN) Group
    • Computational Electronics and Photonics
    • Digital Technology Group
    • Gender/Diversity in Informatics System (GeDiS)
    • Subject: Integrated Energy Systems
    • Intelligent Embedded Systems Group
    • Department of Measuring Technology
    • Subject Area: Microwave Technology
    • Communications Laboratory
    • Research Group Programming Languages / Methodologies
    • Chair for Computer Architecture and System Programming
    • Subject Area: Control and Systems Theory
    • Department of Software Engineering
    • Subject Area: Computer Engineering
    • Department Theoretical Computer Science
    • Research unit Knowledge & Data Engineering
    • Research Group for Distributed Systems
    • Research Group Theoretical Computer Science/Formal Methods
    • Institute for Electrical Engineering
    • Institute of Microstructure Engineering and Analysis
  • International Center for Higher Education Research (INCHER)
  • College of Fine Arts in Kassel
  • Research Centre for Information System Design (ITeG)
  • Central Facilities