imported>M2k~dewiki: M2k~dewiki verschob die Seite Franz Baader nach Franz Baader (Informatiker): mehrdeutig, Einrichtung einer Begriffsklärung unter dem bisherigen Lemma

2026-04-23T13:29:18Z

M2k~dewiki verschob die Seite Franz Baader nach Franz Baader (Informatiker): mehrdeutig, Einrichtung einer Begriffsklärung unter dem bisherigen Lemma

Neue Seite

'''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 [[Technische Universität Dresden|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 bei [[Klaus Leeb]] an der Universität Erlangen-Nürnberg zum Doktor der Informatik. Dort war er auch ab 1985 als wissenschaftlicher Mitarbeiter in Lehre und Forschung beschäftigt. Im Jahr 1989 wechselte er an das [[Deutsches Forschungszentrum für Künstliche Intelligenz|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. 2011 wurde er zum Mitglied der [[Academia Europaea]] gewählt.<ref>{{Internetquelle| url=http://www.ae-info.org/ae/Member/Baader_Franz| titel=Mitgliederverzeichnis: Franz Baader| hrsg=Academia Europaea| zugriff=2017-06-18| sprache=englisch}}</ref> 2020 erhielt Baader den [[Herbrand Award]]. Er hat mehr als 120 wissenschaftliche Artikel veröffentlicht.

== Literatur ==
* ''Baader, Franz.'' In: [[Dorit Petschel]]: ''175 Jahre TU Dresden.'' Band 3: ''Die Professoren der TU Dresden 1828–2003.'' Hrsg. im Auftrag der Gesellschaft von Freunden und Förderern der TU Dresden e. V. von [[Reiner Pommerin]], Böhlau, Köln u. a. 2003, ISBN 3-412-02503-8, S. 49.

== Einzelnachweise ==
<references />

== Weblinks ==
* [http://lat.inf.tu-dresden.de/~baader/ Homepage auf den Seiten der TU Dresden]
* {{DNB-Portal|131845098}}

{{Normdaten|TYP=p|GND=131845098|LCCN=n/96/80351|VIAF=34634110}}

{{SORTIERUNG:Baader, Franz}}
[[Kategorie:Informatiker]]
[[Kategorie:Hochschullehrer (Technische Universität Dresden)]]
[[Kategorie:Hochschullehrer (RWTH Aachen)]]
[[Kategorie:Mitglied der Academia Europaea]]
[[Kategorie:Deutscher]]
[[Kategorie:Geboren 1959]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Baader, Franz
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=deutscher Informatiker
|GEBURTSDATUM=15. Juni 1959
|GEBURTSORT=[[Spalt]]
|STERBEDATUM=
|STERBEORT=
}}

Franz Baader (Informatiker) - Versionsgeschichte

imported>M2k~dewiki: M2k~dewiki verschob die Seite Franz Baader nach Franz Baader (Informatiker): mehrdeutig, Einrichtung einer Begriffsklärung unter dem bisherigen Lemma