Technische Universität Darmstadt
Arbeitsgruppe Semantik und Verifikation paralleler Systeme
ID 437189641Informatik allgemein
Kontakt
Arbeitsgruppe Semantik und Verifikation paralleler Systeme
Hochschulstraße 10
64289 Darmstadt
64289 Darmstadt
Promotionsmöglichkeiten
Promotionsmöglichkeit hier klicken
Zugehörige Einrichtungen
Technische Universität Darmstadt
Alle Ebenen einblenden | ausblenden
- Centre for Cognitive ScienceZur Einrichtung
- Centre for Computational Engineering (CE)Zur Einrichtung
- Centre for Synthetic BiologyZur Einrichtung
- Darmstädter Exzellenz-Graduiertenschule für Energiewissenschaft und Energietechnik (ESE)Zur Einrichtung
- Fachbereich ArchitekturZur Einrichtung
- Fachbereich Bau- und UmweltingenieurwissenschaftenZur Einrichtung
- Fachbereich BiologieZur Einrichtung
- Fachbereich ChemieZur Einrichtung
- Fachbereich Elektrotechnik und InformationstechnikZur Einrichtung
- Fachbereich Gesellschafts- und GeschichtswissenschaftenZur Einrichtung
- Fachbereich HumanwissenschaftenZur Einrichtung
- Fachbereich InformatikZur Einrichtung
- Arbeitsgruppe Drahtlose Kommunikation und Sensorik (WISE)Zur Einrichtung
- Arbeitsgruppe Semantik und Verifikation paralleler Systeme
- DFG-Graduiertenkolleg 2050 - Privacy and Trust for Mobile UsersZur Einrichtung
- Fachgebiet AlgorithmikZur Einrichtung
- Fachgebiet Cryptography and Privacy Engineering (ENCRYPTO)Zur Einrichtung
- Fachgebiet Data ManagementZur Einrichtung
- Fachgebiet Didaktik der InformatikZur Einrichtung
- Fachgebiet Eingebettete Systeme und ihre AnwendungenZur Einrichtung
- Fachgebiet Graphisch-Interaktive SystemeZur Einrichtung
- Fachgebiet Intelligente Autonome SystemeZur Einrichtung
- Fachgebiet Knowledge EngineeringZur Einrichtung
- Fachgebiet Maschinelles LernenZur Einrichtung
- Fachgebiet Modellierung und Analyse von InformationssystemenZur Einrichtung
- Fachgebiet Parallele ProgrammierungZur Einrichtung
- Fachgebiet Quantum ComputingZur Einrichtung
- Fachgebiet Resilientes Vernetztes ComputingZur Einrichtung
- Fachgebiet Scientific ComputingZur Einrichtung
- Fachgebiet Sichere Mobile NetzeZur Einrichtung
- Fachgebiet Sicherheit in der Informationstechnik (SIT)Zur Einrichtung
- Fachgebiet Simulation, Systemoptimierung und RobotikZur Einrichtung
- Fachgebiet Software EngineeringZur Einrichtung
- Fachgebiet SoftwaretechnikZur Einrichtung
- Fachgebiet TelekooperationZur Einrichtung
- Fachgebiet Theoretische Informatik - Kryptographie und ComputeralgebraZur Einrichtung
- Fachgebiet Ubiquitäre WissensverarbeitungZur Einrichtung
- Fachgebiet Visuelle InferenzZur Einrichtung
- Fachgebiet Wissenschaft und Technik für Frieden und Sicherheit (PEASEC)Zur Einrichtung
- Fachgebiet Zuverlässige Eingebettete SoftwaresystemeZur Einrichtung
- Forschungsgruppe GRK 1994: Adaptive Preparation of Information from Heterogeneous Sources (AIPHES)Zur Einrichtung
- Forschungsgruppe Kryptographie und KomplexitätstheorieZur Einrichtung
- Forschungsgruppe Quantum and Physical attack resistant Cryptography (QPC)Zur Einrichtung
- Forschungsgruppe Verteilte und Vernetzte SystemeZur Einrichtung
- Zentrum für Angewandte Informatik e.V.Zur Einrichtung
- Fachbereich MaschinenbauZur Einrichtung
- Fachbereich Material- und GeowissenschaftenZur Einrichtung
- Fachbereich MathematikZur Einrichtung
- Fachbereich PhysikZur Einrichtung
- Fachbereich Rechts- und WirtschaftswissenschaftenZur Einrichtung
- Forum interdisziplinäre Forschung (FiF)Zur Einrichtung
- Hessisches Zentrumm für Künstliche IntelligenzZur Einrichtung
- Hochschuldidaktische Arbeitsstelle (HDA)Zur Einrichtung
- Profilbereich Cybersicherheit (CYSEC)Zur Einrichtung
- Profilbereich Energiesysteme der ZukunftZur Einrichtung
- Profilbereich Vom Material zur Produktinnovation (PMP)Zur Einrichtung
- Studienbereich MechanikZur Einrichtung
- Universitäts- und LandesbibliothekZur Einrichtung
Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?
Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular