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