My thesis CLP(F) Modeling of Hybrid Systems shows that using clip one can add rigor to models of hybrid systems.
I then did some work with Eve Marder, Astrid Prinz, John Langton, and Tim Hickey on visualizing the large data sets which neuroscience produces.
In 2007, I worked on steganography in images.
Since then, I have worked as a consultant to lawyers in intellectual property cases, and as a research engineer at BAE systems on a variety of systems.
My other interests are in distributed computing, particularly fault-tolerant or wait-free models. I've also done some work on Cryptographic Protocols and Quantum Cryptography.
In July every year from 1996 to 2002, I taught the Brandeis Summer Odyssey Program course in Distributed Computation.
List of my papers
Abstracts of my papers
Hardware debugging in the old days A possibly true story of debugging an early IBM 370 by Brian Hetrick.
If Kitchen Appliances were Like Programs by Mark Weiser
One description of what a thesis requires