Franz Baader (* 15. Juni 1959 in Spalt) ist ein deutscher Informatiker. Er führt den Lehrstuhl für Automatentheorie an der Fakultät Informatik der TU Dresden. == Leben == Baader besuchte bis 1979 das Gymnasium in Roth und begann im Jahr 1980 ein Informatikstudium an der Universität Erlangen-Nürnberg, das er 1985 abschloss. Er promovierte 1989...