Flash Sheridan
Senior Compiler Test Engineer at Matter Labs
New Jersey, United States
Summary
👤
Senior🎓
Top SchoolFlash Sheridan is a Senior Compiler Test Engineer with over 25 years in software quality assurance and a 12-year focused career on compiler and static-analysis testing. He currently leads lit testing and coverage efforts for an LLVM-based backend targeting a zero-knowledge EVM at Matter Labs, blending deep compiler knowledge with build engineering. Past roles include QA leadership at Apple, Palm, and Axoni, where he wrote the first Swift test plan, drove compiler test methodology published in academia, and built CI/test harnesses for new languages and processors. He also has extensive static-analysis experience (Coverity, Klocwork, PC-lint) applied to security-sensitive telephony and embedded stacks. Intermittently retired and based in New Jersey, he remains available for part-time remote work in static analysis, compiler testing, or AI, and contributes documentation to high-profile open-source projects like the Solidity repo. His background in mathematical logic (Oxford ABD) and early AI research informs a methodical, academically grounded approach to test design and bug triage.
12 years of coding experience
22 years of employment as a software developer
A.B.D. (thesis complete), Mathematical Logic, A.B.D. (thesis complete), Mathematical Logic at University of OxfordB.A., Mathematics and Philosophy, B.A., Mathematics and Philosophy at Yale UniversityPhillips Exeter Academy
Stackoverflow
1,682reputation
234kreached
43answers
0questions
Github Skills (13)
lang10
documentation10
solidity9
programming-language8
xcode6
objective-c6
static-analysis6
macos6
javascript6
stl6
clang-static-analyzer6
llvm6
clang6
Programming languages (20)
Github contributions (5)
ethereum/solidity
May 2018 - May 2020
Solidity, the Smart Contract Programming Language
Role in this project:
Technical Writer
Technical WriterContributions:5 commits, 4 PRs, 1 comment in 2 years
Contributions summary:Flash's contributions primarily focus on improving the project's documentation. They made minor edits to the documentation to enhance clarity and correct grammatical errors, ensuring the language is more idiomatic. Furthermore, the user updated the documentation, particularly the section on breaking changes, and corrected any spelling or grammatical mistakes within the documentation.
cppsmart-contractethereumcontractblockchain
FlashSheridan/EncycloClip
Sep 2019 - Nov 2021
EncycloClip™ for iPhone®, iPad®, and iPod Touch® is a faceless iPhone/iPad app by Flash Sheridan which searches the online version of the Encyclopædia Britannica® for the contents of your clipboard.
Contributions:11 PRs, 17 pushes, 7 branches in 2 years 2 months
searchesipadbritannicaclipboardiphone
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.