TUD  »  Forschung  »  Forschungsinformationssystem
Anzeigen

Verweis auf www.hzdr.de

Verweis auf www.di-uni.de

Professur - Detailansicht

Bereich Ingenieurwissenschaften - Fakultät Informatik - Institut für Theoretische Informatik - Professur für Automatentheorie

Professur für Automatentheorie
Professurinhaber
Herr Prof. Dr.-Ing. Franz Baader
Expertenprofil
Kontaktdaten
Telefon: (0351) 463-39160
Fax: (0351) 463-37959
E-Mail: Franz.Baader@tu-dresden.de
Internet: http://lat.inf.tu-dresden.de/~baader/
Hausanschrift
Nöthnitzer Str. 46
01187 Dresden
Postanschrift
01062 Dresden
Mitgliedschaft(-en) in akademischen Gremien
Mitglied im Vorstand der Graduiertenakademie (GA), Mitglied im Board des Scientific Area Committees Informationstechnologie und Mikroelektronik (SAC 2), Mitglied der Studienkommission und stellvertretender Vorsitzender des Prüfungsausschusses des Studiengangs Computational Logic
Beteiligung an TU-internen wissenschaftlichen Netzwerken
International Center for Computational Logic (ICCL), Exzellenzcluster "Center for Advancing Electronics Dresden" (cfaed), DFG-Sonderforschungsbereich "Highly Adaptive Energy-Efficient Computing" (HAEC), DFG-Graduiertenkolleg "Quantitative Logiken und Automaten" (QuantLA), DFG-Graduiertenkolleg "Role-based Software Infrastructures for continuous-context-sensitive Systems" (RoSI)
Beteiligung an externen wissenschaftlichen Netzwerken
DFG-Forschergruppe "Hybrid Reasoning for Intelligent Systems" (HYBRIS)
Stand: 11.01.2017