Franz Baader

{{short description|German computer scientist}}

{{for|the German ice hockey referee and linesman|Franz Baader (ice hockey)}}

{{Infobox scientist

| name = Franz Baader

| image =

| image_size =

| alt =

| caption =

| birth_date = {{Birth date and age|df=y|1959|6|15}}

| birth_place =

| death_date =

| death_place =

| resting_place =

| resting_place_coordinates =

| residence =

| citizenship =

| nationality =

| fields =

| workplaces = Dresden University of Technology,
RWTH Aachen University,
University of Erlangen-Nuremberg,
German Research Centre for Artificial Intelligence

| alma_mater =

| thesis_title = Unifikation und Reduktionssysteme für Halbgruppenvarietäten

| thesis_url =

| thesis_year = 1989

| doctoral_advisor = Klaus Leeb

| academic_advisors =

| doctoral_students = Ulrike Sattler{{cite thesis

|degree=PhD

|first=Ulrike

|last=Sattler

|title=Technological Knowledge Representation Systems in a Chemical Engineering Application

|publisher=Dresden University of Technology

|date=1998

|url=http://lat.inf.tu-dresden.de/research/phd/Sattler-diss.ps.gz

|access-date=2012-06-18

|archive-date=2011-03-31

|archive-url=https://web.archive.org/web/20110331231221/http://lat.inf.tu-dresden.de/research/phd/Sattler-diss.ps.gz

|url-status=dead

}}

| notable_students =

| known_for =

| author_abbrev_bot =

| author_abbrev_zoo =

| influences =

| influenced =

| awards =

| signature =

| signature_alt =

| website = {{URL|http://lat.inf.tu-dresden.de/~baader/index-en.html}}

| footnotes =

| spouse =

}}Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology.http://lat.inf.tu-dresden.de/~baader/index-en.html Franz Baader Home Page{{GoogleScholar|dIVc_FYAAAAJ}}{{DBLP|name=Franz Baader}}

He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany,{{MathGenealogy|id=65090}} where he was a teaching and research assistant for 4 years.

In 1989, he went to the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and project leader.

In 1993 he became associate professor for computer science at RWTH Aachen, and in 2002 full professor for computer science at TU Dresden.{{cite web |url=http://www.icfca2009.h-da.de/home/invited-speakers/franz-baader/index.htm |title=Hochschule Darmstadt: Franz Baader |access-date=2010-02-25 |url-status=dead |archive-url=https://web.archive.org/web/20110719034227/http://www.icfca2009.h-da.de/home/invited-speakers/franz-baader/index.htm |archive-date=2011-07-19 }}

He received the Herbrand Award for the year 2020 "in recognition of his significant contributions to unification theory, combinations of theories and reasoning in description logics".{{cite web |title=Herbrand Award for Distinguished Contributions to Automated Reasoning |publisher=CADE Inc| url=http://www.cadeinc.org/Herbrand-Award |access-date=18 July 2021}}