In this project you will work with the teaching tool that we develop, called OnlineProver. This is a tool that aids students in their understanding for formal logic and in the future formal semantics.
http://onlineprover.com
Titan article
Project
In this project you will continue the development of the OnlineProver tool, which is implemented in Haskell (backend). There is currently a working implementation that today is used in teaching.
However there are several improvements needed. Most importantly, in this project you will improve the feedback mechanism that today is very rudimentary. Feedback is very important to students and hard for automatic tools to get right. Both too much and too little help in the feedback can be bad. You will need to research and implement different levels; perhaps even adaptive feedback. This can possibly be tested with students on the courses that is using OnlineProver at IFI, Technical University of Kosice, and IT University of Copenhagen.
Relevant IFI courses for this project
During this master project, you will need to get good foundational understanding of formal programming languages. Relevant courses during this project would be:
