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 [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 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 [http://pobox.com/~spug Stanford PalmPilot User Group], and was the chief judge for last four PalmHack programming contests.

External Links

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

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#Bibliography (I am on a continuing quest to get someone to write a good introduction to static analysis for bug finding; see my [http://stackoverflow.com/questions/411682/introduction-to-static-analysis/698480#698480 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=