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

Detailseite

Person

Druckansicht

Professor Dr. Manfred Droste

Adresse Universität Leipzig
Institut für Informatik
Abteilung Automaten und Sprachen
Augustusplatz 10
04109 Leipzig

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen (Sachbeihilfen)
  - Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 334: Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken (Graduiertenkollegs)
  - GRK 1763: Quantitative Logiken und Automaten (Graduiertenkollegs)

© 2025 DFG Kontakt / Impressum / Datenschutz