Dr. Erica Melis

Research Interests

Intelligent Learning Environments and Tools

Web-based education environment Active Math and MathBridge for Mathematics. This includes AI-techniques such as user-adaptivity, course generation, student modeling, cognitive tools, exercise generation, feedback generation, diagnosis, tutorial strategies, integration of service systems, etc.

Proof Planning

… knowledge-based proof planning, constraint solving for proof planning, meta-reasoning, productive use of failure. My favoured case study on epsilon-delta-proofs…
Mixed-initiative proof planning for education, including user-interface for proof planning, feedback generation, communication with learning system, scenarios, etc.

Case-Based Reasoning, Analogy

Automated Deduction

Leading the ActiveMath Group and Math Bridge

… at University of Saarland and German Research Center for Artificial Intelligence.