Liste der laufenden Graduiertenkollegs
Stand: 20. Juli 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
Dresden
(Bitte richten Sie inhaltliche Fragen direkt an den Sprecher / die Sprecherin des Programms)
Antragstellende Institution
Technische Universität Dresden
Dresden
Mitantragstellende Institution
Universität Leipzig
Leipzig
DFG-Betreuung
Dr.
Florentin Neumann
(fachlich)
Dr.
Martin Roatsch
(verfahrenstechnisch)