Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Modellierung und Analyse von Informationssystemen

Adresse Hochschulstraße 10
64289 Darmstadt
Deutschland

GERiT Diese Institution in GERiT

64289 Darmstadt

Projekte

Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik)
- abgeschlossene Projekte
  - Formale Methoden, Techniken und Werkzeuge für die Entwicklung sicherer Systeme
    (Antragsteller Mantel, Heiko )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Koordinationsfonds
    (Antragsteller Mantel, Heiko )
  - SPP 1496: Reliably Secure Software Systems - Zuverlässig sichere Softwaresysteme
    (Sprecher Mantel, Heiko )
  - Zuverlässige Sicherheit für nebenläufige Programme
    (Antragsteller Mantel, Heiko )
Sachbeihilfen
- abgeschlossene Projekte
  - Synchrone und asynchrone Interaktion in verteilten Systemen
    (Antragstellerinnen / Antragsteller Goltz, Ursula ; Nestmann, Uwe ; Peters, Kirstin )
Sonderforschungsbereiche
- laufende Projekte
  - Sichere Implementierung kryptographischer Algorithmen
    (Teilprojektleiter Fischlin, Marc ; Mantel, Heiko )

© 2024 DFG Kontakt / Impressum / Datenschutz