Mike Kindig
Application Engineer Architect
Austin, Texas Metropolitan Area United States
Summary
🤩
Rockstar🎓
Top SchoolMike Kindig is an Application Engineer Architect with nearly a decade of formal verification-focused experience at Cadence, helping customers solve complex RTL verification challenges using Jasper/JasperGold and formal methodologies. He pairs a deep hardware background—designing high-performance networking FPGAs, telecom PCBs, and embedded systems—with strong software chops, including front-end contributions to the popular Grommet React framework and multiple mobile apps. Mike excels at turning elusive RTL bugs into repeatable test cases, extracting killer network packets from formal tools for regression workflows, and creatively applying cutting-edge tool capabilities to customer designs. Based in Austin, he brings a hands-on maker spirit—restoring a 1984 Avion and building vision-based robotic lawn mowers—reflecting a lifelong curiosity that began programming on an Atari in 1976.
9 years of coding experience
25 years of employment as a software developer
BSEET, Electrical and Electronics Engineering, BSEET, Electrical and Electronics Engineering at Rochester Institute of Technology
Github Skills (10)
accessibility10
component-development10
uid10
javascript10
front-end-development10
ui-design10
grommet10
react10
props9
prop9
Programming languages (3)
Github contributions (5)
grommet/grommet
Jun 2020 - Jan 2023
a react-based framework that provides accessibility, modularity, responsiveness, and theming in a tidy package
Role in this project:
Front-end Developer
Front-end DeveloperContributions:605 reviews, 50 commits, 86 PRs in 2 years 7 months
Contributions summary:Mike primarily contributed to the front-end development of the grommet framework, focusing on component enhancements and bug fixes. Their work included improving the `Button`, `Text`, `MaskedInput`, and `FormField` components by addressing prop type issues, handling DOM leaks, and adding features like text alignment. Furthermore, the user made contributions to accessibility by implementing a11yTitle. They also provided bug fixes and performance improvements across various components.
accessibilityreactgrommetjavascriptux-framework
MikeKingdom/gatsby-with-grommet-starter
Jan 2020 - Jan 2023
A Grommet-ized Gatsby default starter
Contributions:45 commits, 62 PRs, 75 pushes in 3 years
gatsbyjsgrommet
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.