MSc thesis subjects
From WikiOwi
There are many problems that have to be solved to improve the feedback in exercise assistants. If you are interested in working on an MSc thesis on one of these or a related topics, please contact Johan Jeuring. To give some examples:
- Further develop an intelligent tutoring system for learning functional programming, using strategies for program development. Program transformations and refactorings will appear naturally here. Given a specification by means of an I/O relation or a contract, and an efficiency constraint, guide a student towards a solution satisfying the contract and/or the efficiency constraint. Alternatively, programs might be assessed by analysing the efficiency of the students' solution.
- Develop an intelligent tutoring system for learning object-oriented programming, in the same style as the functional programming tutor
- Develop strategies for statistics, theorem provers, ...
- Recognize buggy rules `deeply': analyse student steps by trying out multiple correct/buggy rules
- Automatically generate exercises that satisfy particular properties
- A generic exercise assistant: implement an exercise assistent using a generic programming library for all functionality that is domain-independent
- Middleware and standards for exchanging exercises and feedback (compare with IMS QTI)
- Develop strategies for proving properties about sets, allowing reasoning from left-to-right and right-to-left
- Use rewrite rules, strategies, and views to determine the difficulty of an exercise. Use the results to assess student solutions
- Based on log-files of user-interactions with a software package, suggest desired behavior using strategies
