Kevin Gibbons

Principal Engineer at Shape Security

Palo Alto, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Kevin Gibbons is a Principal Engineer based in Palo Alto with 13 years of experience building robust full-stack systems and tooling. At Shape Security he drives engineering efforts focused on reliable, production-grade software, and his open-source footprint shows deep expertise in JavaScript engine internals and web standards. Kevin has contributed to high-profile projects like Babel and Prettier, helped shape ECMAScript through TC39 spec and test-suite work, and implemented WebAssembly/TypeScript bindings for the Z3 theorem prover—demonstrating a rare mix of compiler, API, and QA/test automation skills. He also improves developer-facing UX in AI tooling (InvokeAI) and has a knack for subtle, spec-level fixes that prevent costly edge-case bugs in language implementations.
code13 years of coding experience
bookBachelor of Science (BS) Computer Science, Bachelor of Science (BS) Computer Science at UCSB
bookStanford University
github-logo-circle

Github Skills (48)

astm10
javascript10
parser10
apidoc10
abstract-syntax-tree10
testing10
technical-writing10
printer10
typescript10
formatter10
decorator10
webui10
decorators10
compiler-design10
api10

Programming languages (25)

CMakefileWebAssemblyGoHTMLJupyter NotebookTypeScriptShell

Github contributions (5)

github-logo-circle
tc39/ecma262

Jul 2016 - Jan 2023

Status, process, and documents for ECMA-262
Role in this project:
userBack-end Developer
Contributions:1185 reviews, 275 commits, 217 PRs in 6 years 7 months
Contributions summary:Kevin primarily contributed to the codebase by making editorial adjustments and addressing potential issues within the ECMAScript specification. Their work involved correcting grammar, clarifying documentation, and addressing specific edge cases, such as those related to named capture groups in regular expressions and the order of operations in various operations like Promise.prototype.finally. These efforts contributed to the accuracy and clarity of the specification.
javascriptstatusecmascriptecma
tc39/proposal-class-fields

Jul 2017 - Mar 2018

Orthogonally-informed combination of public and private fields proposals
Role in this project:
userTechnical Writer
Contributions:11 commits, 8 PRs, 429 comments in 8 months
Contributions summary:Kevin contributed to the repository by making several changes to the specification document (`spec.html`). These changes include correcting descriptions, marking insertions, and adding editorial fixes. The edits clarify technical details and improve the overall presentation of the specification. The user also added a note about expanding algorithm conventions and introduced a `ContainsArguments` production.
informedcombinationproposalsfields
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.
Request Free Trial
Kevin Gibbons - Principal Engineer at Shape Security