]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/people/dfki/melis.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / dfki / melis.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE person SYSTEM "../person.dtd">
4
5 <person>
6  <name>Erica</name>
7  <surname>Melis</surname>
8  <qualification>PD. Dr.</qualification>
9  <position>Senior Researcher at the German Research Center for Artificial
10   Intelligence (DFKI GmbH)</position>
11  <e-mail>melis@dfki.de</e-mail>
12  <url>http://www.ags.uni-sb.de/~melis</url>
13  <curriculum>
14   <p>Erica Melis is a Senior Researcher at the German
15      Research Center for Artificial Intelligence (DFKI GmbH). She was a
16      research scientist at the School of Computer Science of Carnegie Mellon
17      University and at the Department of AI at the University of Edinburgh.
18      Later she has been an Assistant Professor at the University of Saarland
19      and is member of a Sonderforschungsbereich in Saarbruecken. She served on
20      numerous programme committees. Erica Melis is the editor of proceedings
21      and the co/author of numerous scientific papers in journals, conferences,
22      and collections in areas such as deduction, planning, case-based
23      reasoning, intelligent tutor systems.</p>
24   <p>Currently, her research interests focus proof planning and on the
25      application of Artificial Intelligence technology in intelligent learning
26      environments.</p>
27   <p>She is a member of AAAI and GI.</p>
28  </curriculum>
29 </person>