Technische Universität Darmstadt
Research Group Semantics and Verification of Parallel Systems
ID 437189641Computer Science (General)
Contact
Research Group Semantics and Verification of Parallel Systems
Hochschulstraße 10
64289 Darmstadt
64289 Darmstadt
Doctoral Opportunities
Promotionsmöglichkeit hier klicken
Affiliated institutions
- Centre for Cognitive ScienceGo to institution
- Centre for Computational Engineering (CE)Go to institution
- Centre for Synthetic BiologyGo to institution
- Darmstadt Graduate School of Excellence Energy Science and EngineeringGo to institution
- Department ArchitectureGo to institution
- Department Civil and Environmental EngineeringGo to institution
- Department BiologyGo to institution
- Department ChemistryGo to institution
- Department Electrical Engineering and Information EngineeringGo to institution
- Department Social Sciences and HistoryGo to institution
- Department Human SciencesGo to institution
- Department Computer ScienceGo to institution
- Arbeitsgebiet Kontinuierliches Lernen und Bayes'sches SchlussfolgernGo to institution
- Wireless Communication and Sensing Lab (WISE)Go to institution
- Research Group Semantics and Verification of Parallel Systems
- Research Training Group Privacy and Trust for Mobile UsersGo to institution
- 3D Graphics & VisionGo to institution
- Subject Area: AlgorithmsGo to institution
- Chair of Applied Cryptography (CAC)Go to institution
- Cryptography and Privacy Engineering Group (ENCRYPTO)Go to institution
- Data Management LabGo to institution
- Didactics of Computer Science SectionGo to institution
- Embedded Systems and Applications GroupGo to institution
- Subject Area: Interactive Graphic SystemsGo to institution
- Intelligent Autonomous Systems LabGo to institution
- Knowledge Engineering GroupGo to institution
- Machine Learning LabGo to institution
- Fachgebiet Mensch-Computer InteraktionGo to institution
- Modeling and Analysis of Information SystemsGo to institution
- Networked Embedded Systems LabGo to institution
- Laboratory for Parallel ProgrammingGo to institution
- Quantum Computing GroupGo to institution
- Scientific Computing GroupGo to institution
- Secure Mobile Networking LabGo to institution
- Security in Information Technology (SIT) Research GroupGo to institution
- Simulation, Systems Optimization and Robotics GroupGo to institution
- Software Engineering SectionGo to institution
- Software Technology GroupGo to institution
- Telecooperation LabGo to institution
- Subject Area: Theoretical Computer ScienceGo to institution
- Ubiquitous Knowledge Processing LabGo to institution
- Visual Inference LabGo to institution
- Research Group Science and Technology for Peace and Security (PEASEC)Go to institution
- Dependable Systems & Software GroupGo to institution
- Research Training Group GRK 1994: Adaptive Preparation of Information from Heterogeneous Sources (AIPHES)Go to institution
- Cryptography and Complexity Theory Research GroupGo to institution
- Research Group for Quantum and Physical attack resistant Cryptography (QPC)Go to institution
- Distributed and Networked Systems LabGo to institution
- Centre for Applied Informatics (Z.A.I.)Go to institution
- Department Mechanical EngineeringGo to institution
- Department Material- and GeosciencesGo to institution
- Department MathematicsGo to institution
- Department PhysicsGo to institution
- Department Law and EconomicsGo to institution
- Forum for Interdisciplinary Research (FiF)Go to institution
- Hessian Center for Artificial intelligenceGo to institution
- Office of University TeachingGo to institution
- Profile Area Cybersecurity (CYSEC)Go to institution
- Profile Area Future Energy SystemsGo to institution
- Profile Area From Material to Product Innovation (PMP)Go to institution
- Department of MechanicsGo to institution
- Hessian State and University LibraryGo to institution
Are you affiliated with this institution or do you represent it?
If you would like to request changes, please use our correction form.