Aktivitaet2003: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 6: | Zeile 6: | ||
|Start(Jahr)=2013 | |Start(Jahr)=2013 | ||
|Ende(Jahr)=andauernd | |Ende(Jahr)=andauernd | ||
|Rank= | |Rank=★ | ||
}} | }} | ||
Aktuelle Version vom 9. April 2021, 11:27 Uhr
Principal Investigator im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA)
- Sebastian Rudolph
- Principal Investigator im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA)Principal Investigator in the DFG Research Training Group "Quantitative Logics and Automata" (QuantLA) (★)
- https://lat.inf.tu-dresden.de/quantla/index.php/participants/investigators
- 2013 – andauernd
