User:FlashSheridan
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
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]he or she | This user considers the singular they to be substandard English usage. |
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. |