Franz Baader


Franz Baader

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 an der Universität Erlangen-Nürnberg zum Doktor der Informatik, an der er seit 1985 als wissenschaftlicher Mitarbeiter in Lehre und Forschung beschäftigt war. Im Jahr 1989 ging er an das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) in Kaiserslautern und Saarbrücken und wirkte dort in der Forschung und als Projektleiter.

Von 1993 bis 2001 war er als Professor für Theoretische Informatik an der RWTH Aachen tätig. Seit April 2001 ist er ordentlicher Professor für Automatentheorie am Institut für Theoretische Informatik an der TU Dresden. Seine Forschungsgebiete beinhalten Wissensrepräsentation, im besonderen Beschreibungslogik und Modallogik), sowie automatisches Beweisen, im besonderen Termersetzung und Unifikationstheorie.

Er war im Programmausschuss nationaler und internationaler Konferenzen tätig, die sich mit den Gebieten des automatischen Beweisens, künstlicher Intelligenz, Wissensrepräsentation und Logik befassen. Er hat internationale Workshops organisiert und ist im Redaktionsausschuss von Magazinen zum Thema KI und Logik der Informatik. Er hat mehr als 120 Artikel veröffentlicht.

Literatur

  • Baader, Franz. In: Dorit Petschel (Bearb.): Die Professoren der TU Dresden 1828–2003. Böhlau, Köln / Weimar / Wien 2003, S. 49.

Weblinks


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Franz Baader — received his PhD in Computer Science in 1989 from the University Erlangen Nürnberg, Germany, where he was a teaching and research assistant for 4 years. In 1989, he went to the German Research Institute of Artificial Intelligence (DFKI) as a… …   Wikipedia

  • Franz Baader (ice hockey) — Franz Baader was a German referee and linesman. He is a member of the German Ice Hockey Hall of Fame. [ cite web|url=http://www.azhockey.com/halls/german.html|title=German (Ice Hockey) Hall of Fame|accessdate=2007 10 13] He was the referee during …   Wikipedia

  • Baader — steht für: Baader (Film), einen Film von Christopher Roth Nordischer Maschinenbau Rud. Baader, einen Hersteller für Fischbearbeitungsmaschinen Baader Bank, eine deutsche Bank mit Sitz in Unterschleißheim Baader steht als Familienname für folgende …   Deutsch Wikipedia

  • Franz Xaver von Baader — Franz von Baader, Ölgemälde im Besitz der Bayerischen Akademie der Wissenschaften (Foto: BAdW) Benedict Franz Xaver von Baader (* 27. März 1765 in München; † 23. Mai 1841 ebenda) war ein deutscher Arzt, Bergbauingenieur und Philosoph. Er war ein… …   Deutsch Wikipedia

  • Franz von Baader — Franz von Baader, Ölgemälde im Besitz der Bayerischen Akademie der Wissenschaften …   Deutsch Wikipedia

  • Franz Xaver von Baader — (March 27, 1765 ndash; May 23, 1841), was a German philosopher and theologian. Life He was born in Munich, the third son of F. P. Baader, court physician to the Prince elector of Bavaria. His brothers were both distinguished mdash; the elder,… …   Wikipedia

  • Franz Xaver von Baader —     Franz Xaver von Baader     † Catholic Encyclopedia ► Franz Xaver von Baader     German philosopher, born at Munich, 1765; died at the same place, 23 May, 1841.     I. The idealistic stream of German philosophy which started with Kant and… …   Catholic encyclopedia

  • BAADER (F. X. von) — BAADER FRANZ XAVER VON (1765 1841) Théosophe allemand, qu’il serait malaisé de classer dans un système; aussi bien aucun parti politique ou philosophique allemand ne s’est il jamais réclamé de lui. Catholique, Franz von Baader a passé presque… …   Encyclopédie Universelle

  • Franz Xaver Von Baader — Pour les articles homonymes, voir Baader. Franz von Baader Franz Xaver von Baader (François Xavier von Baader) est un …   Wikipédia en Français

  • Franz von Baader — Franz Xaver von Baader Pour les articles homonymes, voir Baader. Franz von Baader Franz Xaver von Baader (François Xavier von Baader) est un …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.