Automatentheorie

Kontaktperson Franz Baader
Sekretariat kerstin.achtruth@tu-dresden.de

Herr Prof. Dr.-Ing. Franz Baader wurde 2002 auf die Professur für Automatentheorie berufen. Seine Professur bietet grundlegende und vertiefende Lehrveranstaltungen für verschiedene Studiengänge an, und forscht auf den Gebieten Deduktion, Wissensrepräsentation, sowie Rechnen mit Molekülen.

Weitere Informationen: https://lat.inf.tu-dresden.de

Weitere Information finden sich auf der Webseite der Forschungsgruppe Automatentheorie.