Publications
Convex Partitions for Planar Point Sets
Code
Angle Covers: Algorithms and Complexity
Projects
Geometric Algorithm Visualization tool
Optimized Exact Battleship Solver
Numerical linear algebra methods
Algorithms code archive
Parallel construction of binary-heaps
Using model-checkers to verify parallel systems
Computing exact probabilities in battleship
A SAT-solver implemented in OCaml
Species survival-game
Fully customizable top-down shooter game
A difficult card-game