Franz Baader
Pour les articles homonymes, voir Baader.
| Naissance | |
|---|---|
| Nationalité | |
| Formation |
Gymnasium Roth (d) (- Université Friedrich-Alexander d'Erlangen-Nuremberg (Diplom) (- Université Friedrich-Alexander d'Erlangen-Nuremberg (doctorat) (- |
| Activités |
| A travaillé pour |
Université de technologie de Dresde (depuis ) |
|---|---|
| Membre de | |
| Directeurs de thèse |
Klaus Leeb, Jörg Siekmann (d) |
| Distinctions |
Franz Baader est un informaticien allemand né le 15 juin 1959 à Spalt. Il est titulaire de la chaire de théorie des automates à la Faculté d'informatique de la TU Dresden[1],[2],[3].
Biographie[modifier | modifier le code]
Baader fait des études d'informatique à l'Université Friedrich-Alexander d'Erlangen-Nuremberg de 1980 à 1985. Il obtient un doctorat en informatique en 1989 sous la direction de Klaus Leeb et Jörg Siekmann à l'Université d'Erlangen-Nuremberg[4] avec une thèse intitulée « Unifikation und Reduktionssysteme für Halbgruppenvarietäten ». Il y travaille ensuite comme assistant à partir de 1985. En 1989, il rejoint le Centre de recherche allemand pour l'intelligence artificielle (DFKI) à Kaiserslautern et Sarrebruck, où il travaille comme chercheur et chef de projet.
De 1993 à 2001, il est professeur d'informatique théorique à l'École supérieure polytechnique de Rhénanie-Westphalie (|RWTH) d'Aix-la-Chapelle. Depuis avril 2001, il est professeur ordinaire de théorie des automates à l'Institut d'informatique théorique de la TU Dresden. Ses domaines de recherche incluent la représentation des connaissances, en particulier la logique de description et la logique modale, ainsi que la preuve automatique, en particulier la théorie de la substitution et de l'unification de termes .
Il a été membre de comités de programme de conférences nationales et internationales traitant des domaines de raisonnement automatique, de l'intelligence artificielle, de la représentation des connaissances et de la logique. Il a organisé des ateliers internationaux et fait partie du comité de rédaction de magazines sur l'intelligence artificielle et la logique de l'informatique.
Parmi ses élèves, il y a Ulrike Sattler.
Reconnaissance[modifier | modifier le code]
- 2011 : Baader est élu membre de l'Academia Europaea[5].
- 2020 : Baader reçoit le Herbrand Award « en reconnaissance de ses contributions significatives à la théorie de l'unification, des combinaisons de théories et de raisonnements en logique de description[6] ».
Ouvrages[modifier | modifier le code]
- Franz Baader et Tobias Nipkow, Term Rewriting and All That, Cambridge University Press, (ISBN 9781139172752)
- Franz Baader, The description logic handbook: theory, implementation, and applications, Cambridge University Press, (ISBN 978-0-521-78176-3, lire en ligne)
- Franz Baader et Andrei Voronkov, Logic for programming, artificial intelligence, and reasoning: 11th international conference, Springer, (ISBN 978-3-540-25236-8, lire en ligne)
- Franz Baader, Ian Horrocks, Carsten Lutz et Uli Sattler, An Introduction to Description Logic, Cambridge University Press, (ISBN 978-0-521-87361-1, lire en ligne)
Bibliographie[modifier | modifier le code]
- « Baader, Franz », dans Reiner Pommerin (éditeur), 175 Jahre TU Dresden., vol. 3 : Dorit Petschel, « Die Professoren der TU Dresden 1828–2003 »., Gesellschaft von Freunden und Förderern der TU Dresden (ISBN 3-412-02503-8), p. 49
Références[modifier | modifier le code]
- Franz Baader Home Page.
- Franz Baader sur Google Scholar .
- Franz Baader sur dblp.
- (en) « Franz Baader », sur le site du Mathematics Genealogy Project.
- Franz Baader sur Academia Europaea.
- « Herbrand Award for Distinguished Contributions to Automated Reasoning », CADE Inc (consulté le )
Liens externes[modifier | modifier le code]
- Ressources relatives à la recherche :
- Page d'accueil de la TU Dresden
- (de) « Publications de et sur Franz Baader », dans le catalogue en ligne de la Bibliothèque nationale allemande (DNB).
