Alan Sherman's Projects: Discrete algorithms

Reversible computing
Geometric Steiner Tree
Probabilistic polynomial-time complexity classes
Module orientation