In February 2005 I submitted my thesis for my Master of Engineering degree. My master’s research project is titled The Symmetriad. It is a software system for computing and presenting interesting, enlightening, and illuminating images of highly symmetric 3- and 4-dimensional objects. It has been a major enough part of my life and work that it has its own segment of this website.

For my current research, I am experimenting with embedding a probablistic inference system into Scheme. The basic idea is to allow one to represent probability distributions as “random” programs. Such programs are the most expressive possible probabilistic formalism, and could surely be the basis of a good tool if one could put a good inference engine behind them. I’ve worked out a reasonable interface to doing inference in discrete-only probability spaces this way, and published a prototype of it that does inference with depth-first search, and am now trying to figure out how to implement a machine that can track dependencies in its computations to do backtracking more intelligently.