Ramon Rakow
Software Engineer, Embedded at Google
California, United States
Summary
👤
Senior🎓
Top SchoolRamon Rakow is an embedded software engineer with a decade of experience building firmware for high-performance storage and networking products, recently joining Google after four years at Intel. He contributed to cutting-edge datacenter SSDs including Intel Optane and later shifted to NIC firmware, gaining practical expertise with NVMe, OCP, and MCTP while serving as a scrum master. A UBC computer science graduate, Ramon blends hands-on firmware development and validation with systems thinking, having also built WebXR experiments and data-delivery servers for psychological research. Outside work he explores programming languages research and mechanizes type theory in Coq, reflecting a rare combination of production firmware experience and formal-methods curiosity.
10 years of coding experience
5 years of employment as a software developer
Bachelor's degree Computer Science, Bachelor's degree Computer Science at The University of British ColumbiaComputer Science, Computer Science at Langara College
Github Skills (64)
mocking9
normal9
subset8
rust8
codegen8
enums8
cmock8
testing8
beautifier8
stub7
analyzer7
unit-testing7
java7
beautify7
doctest7
Programming languages (6)
Github contributions (5)
tz18/ECCtoECCA
Jun 2019 - Dec 2021
Implementation of a type-preserving compiler from Luo's ECC to an A-Normal form restricted subset called ECCA
Contributions:93 commits, 2 PRs, 106 pushes in 2 years 5 months
normalcompilerrestrictedsubsetecc
tz18/SurgeGame
Nov 2015 - Sep 2016
Contributions:26 commits, 28 pushes, 2 branches in 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.