Arbeitsgruppe Semantik und Verifikation paralleler Systeme in GERiT

Technische Universität Darmstadt

Arbeitsgruppe Semantik und Verifikation paralleler Systeme

Hochschulstraße 10, 64289 Darmstadt

Informatik allgemein

Zugehörige Einrichtungen

Alle Ebenen einblenden | ausblenden

Centre for Cognitive Science
Centre for Computational Engineering (CE)
Centre for Synthetic Biology
Darmstädter Exzellenz-Graduiertenschule für Energiewissenschaft und Energietechnik (ESE)
Fachbereich Architektur
Fachbereich Bau- und Umweltingenieurwissenschaften
Fachbereich Biologie
Fachbereich Chemie
Fachbereich Elektrotechnik und Informationstechnik
Fachbereich Gesellschafts- und Geschichtswissenschaften
Fachbereich Humanwissenschaften
Fachbereich Informatik
- Arbeitsgebiet Kontinuierliches Lernen und Bayes'sches Schlussfolgern
- Arbeitsgruppe Drahtlose Kommunikation und Sensorik (WISE)
- Arbeitsgruppe Semantik und Verifikation paralleler Systeme
- DFG-Graduiertenkolleg 2050 - Privacy and Trust for Mobile Users
- Fachgebiet 3D Graphik und Vision
- Fachgebiet Algorithmik
- Fachgebiet Angewandte Kryptographie
- Fachgebiet Cryptography and Privacy Engineering (ENCRYPTO)
- Fachgebiet Data Management
- Fachgebiet Didaktik der Informatik
- Fachgebiet Eingebettete Systeme und ihre Anwendungen
- Fachgebiet Graphisch-Interaktive Systeme
- Fachgebiet Intelligente Autonome Systeme
- Fachgebiet Knowledge Engineering
- Fachgebiet Maschinelles Lernen
- Fachgebiet Mensch-Computer Interaktion
- Fachgebiet Modellierung und Analyse von Informationssystemen
- Fachgebiet Networked Embedded Systems (NES)
- Fachgebiet Parallele Programmierung
- Fachgebiet Quantum Computing
- Fachgebiet Scientific Computing
- Fachgebiet Sichere Mobile Netze
- Fachgebiet Sicherheit in der Informationstechnik (SIT)
- Fachgebiet Simulation, Systemoptimierung und Robotik
- Fachgebiet Software Engineering
- Fachgebiet Softwaretechnik
- Fachgebiet Telekooperation
- Fachgebiet Theoretische Informatik - Kryptographie und Computeralgebra
- Fachgebiet Ubiquitäre Wissensverarbeitung
- Fachgebiet Visuelle Inferenz
- Fachgebiet Wissenschaft und Technik für Frieden und Sicherheit (PEASEC)
- Fachgebiet Zuverlässige Eingebettete Softwaresysteme
- Forschungsgruppe GRK 1994: Adaptive Preparation of Information from Heterogeneous Sources (AIPHES)
- Forschungsgruppe Kryptographie und Komplexitätstheorie
- Forschungsgruppe Quantum and Physical attack resistant Cryptography (QPC)
- Forschungsgruppe Verteilte und Vernetzte Systeme
- Zentrum für Angewandte Informatik e.V.
Fachbereich Maschinenbau
Fachbereich Material- und Geowissenschaften
Fachbereich Mathematik
Fachbereich Physik
Fachbereich Rechts- und Wirtschaftswissenschaften
Forum interdisziplinäre Forschung (FiF)
Hessisches Zentrumm für Künstliche Intelligenz
Hochschuldidaktische Arbeitsstelle (HDA)
Profilbereich Cybersicherheit (CYSEC)
Profilbereich Energiesysteme der Zukunft
Profilbereich Vom Material zur Produktinnovation (PMP)
Studienbereich Mechanik
Universitäts- und Landesbibliothek

Projekte / Promotionsmöglichkeiten

Promotionsmöglichkeiten an dieser Einrichtung

Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?

Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular