Kevin Dinkel
Flight Software Engineer at Laboratory For Atmospheric and Space Physics
Boulder, Colorado, United States
Summary
👤
Senior🎓
Top SchoolKevin Dinkel is a flight software engineer with 13 years of experience building real-time, safety-critical embedded systems for missions to the edge of space, LEO, and Mars. He has led flight software on NASA missions at JPL and LASP, designed a component-based, model-driven framework (Adamant) in Ada, and contributed to reusable frameworks like JPL’s F Prime and mission systems for Europa Clipper. Kevin combines hands-on low-level flight code with interests in software architecture, model-based engineering, autonomy, and programming languages, favoring solutions that are reliable and reusable. Based in Boulder, he brings rare expertise in both mission operations scheduling and embedded autonomy, and has repeatedly delivered software that “must work, at all costs.”
13 years of coding experience
8 years of employment as a software developer
Bachelor of Science (B.S.), Aerospace, Aeronautical and Astronautical Engineering, Bachelor of Science (B.S.), Aerospace, Aeronautical and Astronautical Engineering at University of Colorado at BoulderRegis Jesuit
Stackoverflow
11reputation
161reached
0answers
1question
Github Skills (69)
object-oriented-programming9
unqlite9
cpp9
embedded9
sd-card9
homeserver8
ubuntu8
raspberry-pi8
raspberry8
bitcoin8
lightning8
debian7
hosting7
vps7
docker7
Programming languages (7)
Github contributions (5)
lasp/adamant
Nov 2023 - Mar 2025
A model-based flight software framework for Ada
Contributions:50 reviews, 164 PRs, 87 pushes in 1 year 4 months
dinkelk/redo
Sep 2015 - Feb 2022
Like make, but better.
Contributions:31 commits, 4 PRs, 218 pushes in 6 years 5 months
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.