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

Detailseite

Institution

Druckansicht

Reykjavik University
School of Computer Science

Adresse Menntavegur 1
101 Reykjavik
Island

101 Reykjavik

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - ARADIA: Plattformübergreifende Architektur zur nutzerorientierten, statischen und dynamischen Introspektion virtueller Maschinen.
    (Antragsteller Reiser, Hans P. )
  - BFT2Chain: Entwurf und Validierung skalierbarer Byzantinisch fehlertoleranter Einigungsalgorithmen für Blockchains
    (Antragsteller Kapitza, Rüdiger ; Reiser, Hans P. )
  - Kausale Beweisführung in NetKAT
    (Antragstellerin Caltais, Georgiana )
  - OptSCORE: Selbstoptimierte Effizienz, Sicherheit und Robustheit für aktive Replikation
    (Antragsteller Hauck, Franz J. ; Reiser, Hans P. )

© 2026 DFG Kontakt / Impressum / Datenschutz