My email address is my first name at this domain.
My articles from arXiv.
Verish, a language for reasoning that resembles a natural language.
Cadabra scripts, TeXmacs files, and C++ source code related to my article arXiv:1103.2732.
Crawler in Superland blog
Slides from my talks at Stanford University SITP on 18 April 2002, and at the CERN TH Institute BSM Workshop on 28 August 2007. The thick pipe geometry discussed in the talks had serious problems, and I started working on a different type of geometry early in 2011.
Good partitions of forests
The software on this website is licensed for use under the Free Software Foundation General Public License.