View Proposal

Proposer
Kathrin Stark
Title
Develop solution strategies for a game or riddle
Goal
Description
The goal of this project is to develop a base solution, and then iteratively improve on this solution while reasoning on the soundness of the improved solution. See for example https://www.cs.tufts.edu/~nr/cs257/archive/richard-bird/sudoku.pdf for a solution of Sudoku in Haskell. I have some ideas, but you are very welcome to bring your own ideas. If you are interested in this project or would like to discuss your own project ideas, please contact me at [k.stark@hw.ac.uk](mailto:k.stark@hw.ac.uk) or make a short appointment at https://outlook.office365.com/owa/calendar/KathrinsMeetingCalendar@heriotwatt.onmicrosoft.com/bookings/.
Resources
Background
Url
Difficulty Level
Variable
Ethical Approval
None
Number Of Students
1
Supervisor
Kathrin Stark
Keywords
Degrees
Back to List