Search by author: Ruth Hoffmann

Ruth Hoffmann

Making it easier to write correct programs

Dependently-typed programming languages, such as Idris and Agda, permit the use of logical properties to constrain the values an expression could take. This allows us to incorporate the proof that a program satisfies…

Our Friends Electric

Emerging technologies-such as the voice enabled internet-present many opportunities and challenges for research and society as a whole. Advocating for better, healthier implementations of these technologies will…

Sudoku Techniques

Exploring the different techniques that can be used to solve sudoku puzzles. Keywords Dissertation,Puzzle Techniques,Constraint Programming, Artificial Intelligence Staff Ruth Hoffmann

Minesweeper Hint System

Imagine playing Minesweeper and getting stuck. This system uses smart techniques to assist your gameplay. It combined two solving methods: constraint programming, which helps narrow down where mines might be based on…