Prof. Dr. Jürgen Dix

Office: 116, Am Regenbogen 15

Phone: +49 5323 72-7181

Fax: +49 5323 72-7189

E-Mail: dix [at] tu-clausthal.de

Research Interests:

  • nonmonotonic reasoning
  • deductive databases
  • knowledge representation
  • agent systems
  • logics for agency
  • formal methods in AI

Projects:

Miscellaneous:

My short CV

  • Born in 1961 I grew up in Delkenheim (between Wiesbaden and Frankfurt). After my Abitur at Gutenberg-Schule (Wiesbaden) I studied mathematics and physics at the University of Mainz and at the University of Heidelberg (1980-1986). Then I switched to computer science and did my PhD in 1992 at Karlsruhe University (Prof. Dr. Peter Schmitt).
    From 1994-2000 I held the position of a Wissenschaftlicher Assistent (Assistant professor (C1)) at Koblenz University.
    During 1999 (being on leave from Koblenz), I was Visiting Professor at the University of Maryland, College Park (USA)).
    From 2000-2004 I was Reader for the foundations of logic and knowledge representation in the Computer Science Department of The University of Manchester (Associate Professor).

  • Since 2004 I am Full Professor at the Technical University of Clausthal, Germany. I am heading the newly created Chair for Computational Intelligence. Since 1996 I am also member of the Institute for Informationsystems at the Technical University of Vienna (where I did my habilitation in 1996) and, since 2004, I am honorary member of the Computer Science Department of The University of Manchester.

  • After working in several areas of Computational Logic (nonmonotonic reasoning, logic programming, deductive databases, knowledge representation), I am also involved in Multi-Agent Reasoning since 1998. I established the very successful ProMAS series (Programming Multi-Agent Systems) together with Rafael Bordini, Mehdi Dastani and Amal El Fallah Segrouchni. Have a look at our recent book: Programming Multi Agent systems.

  • I published more than 170 technical papers: among them more than 50 papers in refereed journals and more than 50 papers at refereed conferences. I have coauthored two monographs (Nonmonotonic Reasoning (Cambridge University Press), Heterogenous Active Agents (MIT Press)) and 4 invited chapters in books.
    In addition, I edited 13 books (Springer LNCS, LNAI and MASA series) and 9 special issues of several journals.

  • I have organised more than 30 international conferences, workshops and Dagstuhl seminars. I served as PC member on more than 50 conferences and workshops. I have been invited for more than 50 talks/tutorials and have given regular classroom lectures for longer terms in Germany, USA, Austria, Argentina, Australia and the UK.

  • I am on the Editorial Board of AI Communications: The European Journal of Artificial Intelligence (1995-2003), of Annals of Mathematics and Artificial Intelligence (AMAI), Journal of Artificial Intelligence Research (JAIR), Theory and Practice of Logic Programming (TPLP), International Journal of Agent-Oriented Software Engineering (IJAOSE), as well as of Journal of applied Logic. I was Member and Coordinating Node of Agentlink II for The University of Manchester and I am coordinating node for Agentlink III for TU Clausthal.

  • Here is my small CV together with selected publications from the past 5 years.

Degrees

  • Habilitation in Information Systems, TU Vienna, 1996

    Thesis: Disjunctive Deductive Databases: Theoretical Foundations and Implementation
    Title: Univ.-Doz.

  • PhD in Computer Science, University of Karlsruhe, 1992

    Thesis: Nonmonotonic reasoning and semantics of logic programs
    Title: Dr. rer. nat.
    Grade: summa cum laude

  • Diploma in Mathematics, University of Heidelberg, 1986

    Thesis: Model-theory of (ultra-) metric vector spaces
    Title: Dipl.-Math.
    Grade: sehr gut

  • Abitur, Gutenberg-Gymnasium Wiesbaden, 1979

    Grade: 1.0

Links

Downloads

SMALL_CV.pdf

Small CV
 
© TU Clausthal 2010 · Imprint