Research Group Semantics and Verification of Parallel Systems in GERiT

Technische Universität Darmstadt

Research Group Semantics and Verification of Parallel Systems

Hochschulstraße 10, 64289 Darmstadt

Computer Science (General)

Affiliated institutions

All level expanded | collapsed

Centre for Cognitive Science
Centre for Computational Engineering (CE)
Centre for Synthetic Biology
Darmstadt Graduate School of Excellence Energy Science and Engineering
Department Architecture
Department Civil and Environmental Engineering
Department Biology
Department Chemistry
Department Electrical Engineering and Information Engineering
Department Social Sciences and History
Department Human Sciences
Department Computer Science
- Arbeitsgebiet Kontinuierliches Lernen und Bayes'sches Schlussfolgern
- Wireless Communication and Sensing Lab (WISE)
- Research Group Semantics and Verification of Parallel Systems
- Research Training Group Privacy and Trust for Mobile Users
- 3D Graphics & Vision
- Subject Area: Algorithms
- Chair of Applied Cryptography (CAC)
- Cryptography and Privacy Engineering Group (ENCRYPTO)
- Data Management Lab
- Didactics of Computer Science Section
- Embedded Systems and Applications Group
- Subject Area: Interactive Graphic Systems
- Intelligent Autonomous Systems Lab
- Knowledge Engineering Group
- Machine Learning Lab
- Fachgebiet Mensch-Computer Interaktion
- Modeling and Analysis of Information Systems
- Networked Embedded Systems Lab
- Laboratory for Parallel Programming
- Quantum Computing Group
- Scientific Computing Group
- Secure Mobile Networking Lab
- Security in Information Technology (SIT) Research Group
- Simulation, Systems Optimization and Robotics Group
- Software Engineering Section
- Software Technology Group
- Telecooperation Lab
- Subject Area: Theoretical Computer Science
- Ubiquitous Knowledge Processing Lab
- Visual Inference Lab
- Research Group Science and Technology for Peace and Security (PEASEC)
- Dependable Systems & Software Group
- Research Training Group GRK 1994: Adaptive Preparation of Information from Heterogeneous Sources (AIPHES)
- Cryptography and Complexity Theory Research Group
- Research Group for Quantum and Physical attack resistant Cryptography (QPC)
- Distributed and Networked Systems Lab
- Centre for Applied Informatics (Z.A.I.)
Department Mechanical Engineering
Department Material- and Geosciences
Department Mathematics
Department Physics
Department Law and Economics
Forum for Interdisciplinary Research (FiF)
Hessian Center for Artificial intelligence
Office of University Teaching
Profile Area Cybersecurity (CYSEC)
Profile Area Future Energy Systems
Profile Area From Material to Product Innovation (PMP)
Department of Mechanics
Hessian State and University Library

Projekts / Doctoral Opportunities

Doctoral Opportunities at this institution

Are you affiliated with this institution or do you represent it?

If you would like to request changes, please use our correction form.