Areas of My Expertise edit

I’m not looking for work as a static analyzer or software tester. I’m a published authority on static analysis, compiler testing, artificial intelligence the Access Linux Platform, and set theory; my 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.


Tags edit

they
he or she
This user considers the singular they to be substandard English usage.
infin¦
itive
This user chooses never to split infinitives.
A, B, and CThis user prefers the serial comma.
PWDThis user supports Pure wiki deletion.
<ref>This user would like to see everyone using inline citations. Please...
inclThis user is an inclusionist.
 This user thinks that registration should be required to edit articles.