Frank Dedden
Senior Software Developer at Franka Robotics
Randstad, Netherlands
Summary
👤
Senior🎓
Top SchoolFrank Dedden is a Senior Software Developer with 11 years of experience blending formal methods, functional programming and aerospace-focused R&D. His background includes research positions at NASA Langley and the Netherlands Aerospace Centre, where he worked on runtime verification and real-time code generation for embedded systems. He has deep Haskell and compiler/backend experience—having contributed an LLVM backend and pipeline work for the dependently typed Juvix language—and has applied those skills in industry roles from Channable to Franka Robotics. Frank combines academic rigor from an MSc in Computer Science with practical engineering across safety-critical avionics and robotics. Colleagues describe him as a researcher-turned-engineer who prefers provable, auditable solutions and enjoys bringing formal techniques into production systems. Based in the Randstad, he maintains a steady focus on aeronautics and broader scientific inquiry beyond day-to-day engineering.
11 years of coding experience
8 years of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at Utrecht UniversityPhysics and Science, Physics and Science at Emmaus College Rotterdam
Dutch, English, German
Github Skills (51)
hard-real-time10
verification10
stream10
copilot10
haskell10
github-copilot9
programming-language9
language-server-protocol9
std9
functional-programming9
smart-contracts9
dub8
backend8
c998
pdf8
Programming languages (6)
Github contributions (5)
Copilot-Language/copilot-core
Jan 2018 - Mar 2021
Intermediate representation for Copilot. Strictly follows Haskell 2010 except for universal and existential quantification.
Contributions:87 commits, 1 PR, 39 pushes in 3 years 2 months
representationexistentialhaskelltlacopilot
Copilot-Language/copilot-language
Jan 2018 - Mar 2021
Front-end of Copilot defining the user language.
Contributions:65 commits, 2 PRs, 27 pushes in 3 years 2 months
front-enduser-languagegithub-copilotcopilot
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.