Prof. Dr.-Ing. Franz Baader

	The research training group "Quantitative Logics and Automata" started on October 1, 2012. More Information: http://lat.inf.tu-dresden.de/quantla/.
	The Cluster of Excellence "Center for Advancing Electronics Dresden" started in November 2012. More information: http://tu-dresden.de/exzellenz/exzellenzcluster/cfaed/20120615_home.

Address: TU Dresden
Theoretical Computer Science
D-01062 Dresden
Germany
Phone: Voice (+49 351)-463-39160
Fax (+49 351)-463-37959
Email: baader@tcs.inf.tu-dresden.de
Office: Room 3021, Nöthnitzer Str. 46, 01187 Dresden

Information regarding Teaching

Research topics

Knowledge Representation (in particular Description Logics and Modal Logics)
Automated Deduction (in particular Term Rewriting and Unification Theory)

Publications, technical reports, and supervised PhDs and Habilitations

A frequently cited book on Term Rewriting:
Franz Baader, Tobias Nipkow: Term Rewriting and All That
Now also as paperback!

A frequently cited handbook on Description Logic:
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (ed.): The Description Logic Handbook

According to CiteSeerX, I am the 632 most cited author in Computer Science (as of January 2013).

Most of my publications can also be found on the DB&LP Bibliography Server and at Google Scholar and arnetminer.

My H-Index (Hirsch Number) based on Google Scholar:
Some transparencies of invited talks and tutorials
Organizer or PC member of workshops and conferences (LATA2013, FCT2013, SSN2012, AOW2012, FroCoS2013, ...)
Member of the steering committee of conferences and workshops

CADE - Conference on Automated Deduction (2002-2009, President 2004-2009; since 2010, President since 2011)
DL - Description Logics (2000-2002; 2008-2011)
FroCoS - Frontiers of Combining Systems (since 1996, chair)
IJCAR - International Joint Conference on Automated Reasoning (2004-2009; chair 2006-2009; since 2011, chair)
KRDB - Knowledge Representation meets Databases (since 1994)
LICS - IEEE Symposium on Logic in Computer Science (Organizing Committee, 2005-2009, since 2011)
RTA - Rewriting Techniques and Applications (2001-2004; 2007-2010, chair 2009-2010)
STACS - Symposium on Theoretical Aspects of Computer Science (2004-2006)
UNIF - International Workshop on Unification (2008-2010, chair)
Member of the editorial board of journals

AICom - The European Journal on Artificial Intelligence (since 2000)
The Journal of Artificial Intelligence Research (2000-2003)
Journal of Applied Logic (since 2002)
JANCL - Journal of Applied Non-Classical Logics (since 2003)
LMCS - Logical Methods in Computer Science (since 2004)
Artificial Intelligence (since 2006)
Journal of Automated Reasoning (since 2007)
Logic Journal of the IGPL (since 2010)
Member of the Advisory Board of Book Series

Cognitive Technologies (since 2002)
Speaker of the GI Interest Group on Logic in Computer Science (2000-2006)
Elected expert of the GI Area on Artificial Intelligence (since 2001)
International relations officer of the GI Area on Artificial Intelligence at ECCAI (since 2002)
ECCAI Fellow (since 2004)
Founding Member of the IFIP Working Group 1.6 - Term Rewriting
Member of the Academia Europaea
Chair for Automata Theory