Latest revision as of 23:54, 11 March 2024

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]

Résumé and publication list: http://flash-sheridan.name/ResumeFlashSheridan.pdf
Compiler testing bibliography: http://flash-sheridan.name/compiler_testing_bibliography.html
My open source bug reports: http://flash-sheridan.name/FlashsOpenSourceBugReports.html
My StackOverflow answers: http://stackoverflow.com/users/28312/flash-sheridan
My Google profile: http://www.google.com/profiles/flashsheridan
My ResearcherID: http://www.researcherid.com/rid/A-5828-2009

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

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#Bibliography (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[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 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.

This user thinks that registration should be required to edit articles.

@@ Line 1: / Line 1: @@
 =Areas of My Expertise=
-I’m not looking for work as a [[Static_code_analysis|static analyzer]] or  [[Portal:Software_Testing|software tester]].  I’m a published authority on [[Static_code_analysis|static analysis]], [[Compiler_correctness#Testing|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 [http://www.amazon.com/Set-Theory-Universal-Exploring-Universe/dp/0198514778 Oxford Logic Guide] on the subject,  by [http://www.dpmms.cam.ac.uk/~tf/ 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, Inc.|Palm]] and its OS spinoff [[PalmSource]], and [[Apple, Inc.|Apple]] and its short-lived spinoff, [[Newton, Inc.]]  Before that, I was a researcher at the [[University of London]].
+I’m not looking for work as a [[Static_code_analysis|static analyzer]] or  [[Portal:Software_Testing|software tester]].  I’m a published authority on [[Static_code_analysis|static analysis]], [[Compiler_correctness#Testing|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 [http://www.amazon.com/Set-Theory-Universal-Exploring-Universe/dp/0198514778 Oxford Logic Guide] on the subject,  by [http://www.dpmms.cam.ac.uk/~tf/ 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, Inc.|Palm]] and its OS spinoff [[PalmSource]], and [[Apple, Inc.|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 [http://pobox.com/~spug Stanford PalmPilot User Group], and was the chief judge for last four PalmHack programming contests.