Franz Baader

Franz Baader ( born June 15, 1959 in gap ) is a German computer scientist. He leads the Chair for Automata Theory at the Faculty of computer science at the TU Dresden.

Life

Baader attended until 1979 the high school in Roth and began in 1980 to study computer science at the University of Erlangen- Nuremberg, which he completed in 1985. He received his doctorate in 1989 at the University of Erlangen- Nuremberg as a doctor of computer science, where he was employed as a research assistant in teaching and research since 1985. In 1989 he went to the German Research Center for Artificial Intelligence (DFKI) in Kaiserslautern and Saarbrücken, where he worked in research and as a project manager.

From 1993 to 2001 he worked as professor of theoretical computer science at RWTH Aachen. Since April 2001 he has been Professor for Automata Theory, Institute for Theoretical computer science at the TU Dresden. His research interests include knowledge representation, in particular, description logic and modal logic, as well as automatic proofs, in particular, rewriting and Unifikationstheorie.

He served in the program committee of national and international conferences dealing with the areas of automatic proving, artificial intelligence, knowledge representation and logic. He has organized international workshops and is on the editorial board of magazines on the subject of AI and logic of computer science. He has published more than 120 articles.