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

Detailseite

Person

Druckansicht

Professor Dr. Horst Reichel

Adresse Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
Nöthnitzer Straße 46
01187 Dresden

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Koalgebraische Softwareverifikation (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 191: Werkzeuge zum effektiven Einsatz paralleler und verteilter Rechnersysteme (Graduiertenkollegs)
  - GRK 334: Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken (Graduiertenkollegs)
Als Ehemaliger Antragsteller
- abgeschlossene Projekte
  - Formale Spezifikation und Verifikation wesentlicher Sicherheitseigenschaften eines Mikrokerns (Sachbeihilfen) bis 3/2006

© 2025 DFG Kontakt / Impressum / Datenschutz