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.