]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/people/dfki/siekmann.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / dfki / siekmann.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE person SYSTEM "../person.dtd">
4
5 <person>
6  <name>Joerg</name>
7  <surname>Siekmann</surname>
8  <qualification>Prof.</qualification>
9  <position>Professor of Computer Science</position>
10  <position>Director of the Deduction and Multiagent Systems research
11      department at the DFKI</position>
12  <e-mail>Joerg.Siekmann@dfki.de</e-mail>
13  <url>http://www.dfki.de/~siekmann</url>
14  <curriculum>
15   <p>Prof. Dr. Joerg Siekmann is Professor of Computer
16      Science and Director of the Deduction and Multiagent Systems research
17      department at the DFKI. He studied at the University of Goettingen
18      (Mathematics and Physics, 1972) and the University of Essex (M.Sc. in
19      Computer Science, 1973, and Ph.D. in Computer Science, 1976). From 1976
20      to 1983 he was a research assistant at the University of Karlsruhe.
21      From 1983 to 1991 he was Professor of Computer Science at the University
22      of Kaiserslautern and since 1991 he has a joint position as professor for
23      Computer Science at the Universitaet des Saarlandes and as one of the
24      directors at the DFKI. He has published widely in AI, Automated Reasoning
25      and Unification Theory and served on many programme committees and was
26      programme chairman of various conferences (such as CADE, KI etc.). He is
27      editor of several logic and AI oriented scientific journals (such
28      as Journal of Automated Reasoning, Journal of Artificial Intelligence,
29      Journal of Logic and Computation etc). His biography is included
30      in most international Whos Who, as one of the founders of AI in
31      Germany.</p>
32  </curriculum>
33 </person>