View source for 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 date and age|df=y|YYYY|MM|DD|YYYY|MM|DD}} (death date then birth date) -->
| death_place       = 
| resting_place             = 
| resting_place_coordinates = <!-- {{Coord|LAT|LONG|type:landmark|display=inline,title}} -->
| residence         = 
| citizenship       = 
| nationality       = 
| fields            = 
| workplaces        = [[Dresden University of Technology]],<br>[[RWTH Aachen University]],<br>[[University of Erlangen-Nuremberg]],<br>[[German Research Centre for Artificial Intelligence]]
| alma_mater        = 
| thesis_title      = Unifikation und Reduktionssysteme für Halbgruppenvarietäten<ref name="mathgene"/>
| thesis_url        = 
| thesis_year       = 1989
| doctoral_advisor  = Klaus Leeb<ref name="mathgene"/>
| academic_advisors = 
| doctoral_students = [[Ulrike Sattler]]<ref name="sattlerphd">{{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
}}</ref>
| notable_students  = 
| known_for         = 
| author_abbrev_bot = 
| author_abbrev_zoo = 
| influences        = 
| influenced        = 
| awards            = 
| signature         = <!--(filename only)-->
| 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]].<ref>http://lat.inf.tu-dresden.de/~baader/index-en.html Franz Baader Home Page</ref><ref name="googlescholar">{{GoogleScholar|dIVc_FYAAAAJ}}</ref><ref name="dblp">{{DBLP|name=Franz Baader}}</ref>

He received his PhD in Computer Science in 1989 from the [[University of Erlangen-Nuremberg]], [[Germany]],<ref name="mathgene">{{MathGenealogy|id=65090}}</ref> 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]].<ref>{{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 }}</ref>

He received the [[Herbrand Award]] for the year 2020 "in recognition of his significant contributions to [[unification (logic)|unification theory]], combinations of theories and reasoning in [[description logic]]s".<ref>{{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}}</ref>

==Works==
*{{ cite book
| title=Term Rewriting and All That
| last1=Baader
| first1=Franz
| last2=Nipkow
| first2=Tobias
|author2link = Tobias Nipkow
| year=1998
| publisher=Cambridge University Press
}}
*{{cite book
|url=https://books.google.com/books?id=riSeOKw5I6sC&q=Franz+Baader
| title=The description logic handbook: theory, implementation, and applications
| last1=Baader
| first1=Franz
| publisher=Cambridge University Press
| year= 2003
| isbn= 978-0-521-78176-3 }}
*{{cite book
| url=https://books.google.com/books?id=ydGx67J3jFoC&q=Franz+Baader
| title=Logic for programming, artificial intelligence, and reasoning: 11th international conference
| last1=Baader
| first1=Franz
| last2=Voronkov
| first2=Andrei
|author2link = Andrei Voronkov
| publisher=Springer
| year= 2005
| isbn= 978-3-540-25236-8
}}
*{{cite book
| url=http://dltextbook.org/
| title=An Introduction to Description Logic
| publisher=Cambridge University Press
| year= 2017
| isbn= 978-0-521-87361-1
| last1=Baader
| first1=Franz
| last2=Horrocks
| first2=Ian
| authorlink2=Ian Horrocks
| last3=Lutz
| first3=Carsten
| last4=Sattler
| first4=Uli
| authorlink4=Ulrike Sattler
}}

==References==
{{reflist}}

{{Authority control}}

{{DEFAULTSORT:Baader, Franz}}
[[Category:German computer scientists]]
[[Category:Living people]]
[[Category:1959 births]]
[[Category:People from Roth (district)]]


{{Germany-compu-bio-stub}}