Liste der laufenden Graduiertenkollegs
Stand: 20. Januar 2021
Graduiertenkollegs
- Liste der laufenden Graduiertenkollegs
- Detailsicht GRK 1763
Quantitative Logiken und Automaten
Allgemeine Informationen
Ort: | Dresden; Leipzig |
Link: | Homepage |
Laufzeit: | 2012 - 2021 |
Sprecher
Professor Dr.-Ing. Franz Baader
Technische Universität Dresden
Institut für Theoretische Informatik
Professur für Automatentheorie
01062 Dresden
(Bitte richten Sie inhaltliche Fragen direkt an den Sprecher / die Sprecherin des Programms)
Antragstellende Institution
Technische Universität Dresden
Mommsenstraße 11
01069 Dresden
Mitantragstellende Institution
Universität Leipzig
Ritterstraße 26
04109 Leipzig
DFG-Betreuung
Dr.
Florentin Neumann
(fachlich)
Dr.
Martin Roatsch
(verfahrenstechnisch)