User:FlashSheridan

=Areas of My Expertise= 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.

Pages I’ve Created or Written Most of

 * Michael Alsbury
 * Birge Clark
 * Compiler correctness
 * ConJose II
 * Gharlane
 * Palo Alto Daily Post
 * Planetary Defense Coordination Office
 * Trevor Quachri
 * Fred C. Robinson
 * Static_code_analysis (I am on a continuing quest to get someone to write a good introduction to static analysis for bug finding; see my StackOverflow answer on the subject.)
 * Sumerian poetry
 * Universal set
 * 76th World Science Fiction Convention

=Wikipedia censorship=

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=