Software Projects

I was a principal feature developer for AT&T CallVantage, together with Tom Smith. I developed Locate Me, n-Way Calling, Record and Send and other features, as well as a remote worker business application controlling multiple phone lines through a GUI.

As part of the AT&T CallVantage development, Greg Bond and I developed a hierarchical finite state machine for programming telephony features. An open source implementation of this language is available.

I was a co-supervisor of Conor McBride's PhD thesis, and I provided insight that led to an algorithm for constructor unification for dependent type theories. This algorithm is now at the heart of the implementation of Epigram.