From Wikipedia, the free encyclopedia
Jump to: navigation, search

Areas of My Expertise[edit]

I’m looking for work as a static analyzer or software tester. I’m a published authority on static analysis, compiler testing, artificial intelligence, and the Access Linux Platform; my forthcoming work on Church’s set theory with a universal set is discussed in the Oxford Logic Guide on the subject, by T. E. Forster of the University of Cambridge. I’ve written commercial software, but not recently; for the past fifteen years I’ve mostly worked in software testing and static analysis, for Palm and its OS spinoff PalmSource, and Apple and its short-lived spinoff, Newton, Inc. Before that, I was a researcher at the University of London.

I’m the president of the Stanford PalmPilot User Group, and was the chief judge for last four PalmHack programming contests.

External Links[edit]

Pages I’ve Created or Written Most of[edit]

Wikipedia censorship[edit]

As noted in the talk page, I’m no longer actively watching or contributing financially to Wikipedia, given the recent censorship in the name of clean-up, e.g., List of tools for static code analysis.


he or she
This user considers the singular they to be substandard English usage.
This user chooses never to split infinitives.
A, B, and C This user prefers the serial comma.
PWD This user supports Pure wiki deletion.
<ref> This user would like to see everyone using inline citations. Please...
incl This user is an inclusionist.
Nuvola apps korganizer.svg This user thinks that registration should be required to edit articles.