Franz Baader

from Wikipedia, the free encyclopedia

Franz Baader (born June 15, 1959 in Spalt ) is a German computer scientist . He holds the chair for automaton theory at the Faculty of Computer Science at the TU Dresden .

Life

Baader attended secondary school in Roth until 1979 and began studying computer science at the University of Erlangen-Nuremberg in 1980 , which he completed in 1985. He received his doctorate in computer science under Klaus Leeb at the University of Erlangen-Nuremberg in 1989 . From 1985 he was employed there as a research assistant in teaching and research. In 1989 he moved 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 was professor for theoretical computer science at RWTH Aachen University. Since April 2001 he has been a full professor for automaton theory at the Institute for Theoretical Computer Science at the TU Dresden. His research areas include knowledge representation, in particular descriptive logic and modal logic , as well as automatic proofs, in particular term rewriting and unification theory.

He served on the program committee of national and international conferences dealing with the areas of automatic proof, 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 the logic of computer science. In 2011 he was elected a member of the Academia Europaea . He has published more than 120 scientific articles.

literature

  • Baader, Franz. In: Dorit Petschel : 175 years of TU Dresden. Volume 3: The professors of the TU Dresden 1828–2003. Edited on behalf of the Society of Friends and Supporters of the TU Dresden e. V. von Reiner Pommerin , Böhlau, Cologne a. a. 2003, ISBN 3-412-02503-8 , p. 49.

Individual evidence

  1. ^ Membership directory: Franz Baader. Academia Europaea, accessed June 18, 2017 .

Web links

personal data
SURNAME Baader, Franz
BRIEF DESCRIPTION German computer scientist
DATE OF BIRTH June 15, 1959
PLACE OF BIRTH gap