Robbie Vanvossen
Embedded Systems Engineer at DornerWorks Ltd.
Grand Rapids, Michigan, United States
Summary
👤
Senior🎓
Top SchoolRobbie Vanvossen is an Embedded Systems Engineer with 14 years of experience, based in Grand Rapids, Michigan, specializing in separation technologies such as Xen and seL4. At DornerWorks since 2012 he has focused on designing and implementing robust embedded solutions where safety, isolation, and real-time constraints matter. He combines a solid computer engineering foundation from Grand Valley State University with deep practical experience in hypervisor- and microkernel-based architectures. Robbie is comfortable navigating low-level firmware, system integration, and verification activities that bridge hardware and software. Colleagues rely on him to translate rigorous isolation requirements into pragmatic, auditable system designs that perform in constrained environments.
15 years of coding experience
Bachelor of Science in Engineering, Computer Engineering, Bachelor of Science in Engineering, Computer Engineering at Grand Valley State University
English
Github Skills (21)
microkernel10
sel410
device-driver7
rapid-prototyping7
test-suite7
driver6
verification6
languagetool5
proof5
virtual-machine4
operating-system4
xen4
documentation2
rust2
linux1
Programming languages (9)
Github contributions (5)
dornerworks/u-boot-xlnx
Apr 2015 - Dec 2024
Contributions:1 release, 7 pushes, 3 branches in 9 years 9 months
u-bootxilinx
dornerworks/inspecta-experimentation
Aug 2024 - Jun 2026
Contributions:1 release, 7 pushes, 3 branches in 1 year 10 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.