University of Kassel
Research Group Theoretical Computer Science/Formal Methods
Contact
Research Group Theoretical Computer Science/Formal Methods
Wilhelmshöher Allee 71-73
34121 Kassel
34121 Kassel
Doctoral Opportunities
Promotionsmöglichkeit hier klicken
Affiliated institutions
- Center for Environmental Systems ResearchGo to institution
- Center for Interdisciplinary Nanostructure Science and Technology (CINSaT)Go to institution
- Department 1 - HumanitiesGo to institution
- School of HumanitiesGo to institution
- Department 5 - Social SciencesGo to institution
- Department 06 - Architecture, Urban Planning, Landscape PlanningGo to institution
- Department 7 - EconomicsGo to institution
- Faculty 10: Mathematics and Natural SciencesGo to institution
- Faculty 11 - Organic Agricultural SciencesGo to institution
- Faculty 14: Civil and Environmental EngineeringGo to institution
- Department 15 - Mechanical EngineeringGo to institution
- Faculty 16 - Electrical Engineering/Information ScienceGo to institution
- Department Applied Information SecurityGo to institution
- Automation and Sensorics in Networked Systems (ASN) GroupGo to institution
- Computational Electronics and PhotonicsGo to institution
- Digital Technology GroupGo to institution
- Gender/Diversity in Informatics System (GeDiS)Go to institution
- Subject: Integrated Energy SystemsGo to institution
- Intelligent Embedded Systems GroupGo to institution
- Department of Measuring TechnologyGo to institution
- Subject Area: Microwave TechnologyGo to institution
- Communications LaboratoryGo to institution
- Research Group Programming Languages / MethodologiesGo to institution
- Chair for Computer Architecture and System ProgrammingGo to institution
- Subject Area: Control and Systems TheoryGo to institution
- Department of Software EngineeringGo to institution
- Subject Area: Computer EngineeringGo to institution
- Department Theoretical Computer ScienceGo to institution
- Research unit Knowledge & Data EngineeringGo to institution
- Research Group for Distributed SystemsGo to institution
- Research Group Theoretical Computer Science/Formal Methods
- Institute for Electrical EngineeringGo to institution
- Institute of Microstructure Engineering and AnalysisGo to institution
- International Center for Higher Education Research (INCHER)Go to institution
- College of Fine Arts in KasselGo to institution
- Research Centre for Information System Design (ITeG)Go to institution
- Central FacilitiesGo to institution
DFG Projects
Are you affiliated with this institution or do you represent it?
If you would like to request changes, please use our correction form.