Darcs is a distributed revision control system which bases its operations on a "theory of patches." I'm interested in using mathematical concepts to model Darcs patches and help shape the development of applications.
I wrote up a technical report for the work that I've done so far:
In that paper I gave an outline of one of the proofs. Here are the messy, notation-laden details:
Finally, here's an exposition of a neat result whose proof I couldn't find anywhere online:
There's also a bunch of patch theory links on the Darcs wiki.
Contact info can be found on my home page.