Haoda Wang
Engineering Graduate Student
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolHaoda Wang is a PhD candidate and NSF GRFP fellow at Columbia University focused on building reliable, modern software systems for spacecraft, currently collaborating with NASA JPL. With a decade of hands-on experience spanning onboard flight software, RTL design, formal methods, and high-speed networking, Haoda has shipped tools used on the Perseverance rover and led development of Mars Sample Return drivers. He architects runtime and safety solutions—such as an eBPF-based onboard runtime and a software radiation hardening technique—bringing systems research straight into mission-critical deployments. Past internships at Sandia, USC-ISI, and Harvard demonstrate a pattern of turning formal verification, symbolic execution, and FPGA/C-based prototypes into practical tools for real-world infrastructure. Notably, he combined security-focused tooling and high-throughput kernel-bypass techniques to tackle both vulnerability discovery and performance at scale.
10 years of coding experience
4 years of employment as a software developer
Bachelor of Science - BS, Bachelor of Science - BS at University of Southern CaliforniaDoctor of Philosophy - PhD, Doctor of Philosophy - PhD at Columbia University in the City of New YorkMaster of Science - MS, Master of Science - MS at Columbia UniversityHigh School, High School at The Charter School of Wilmington
Latin, Chinese, English
Stackoverflow
167reputation
4kreached
3answers
3questions
Github Skills (90)
python10
messenger10
windows10
chat10
deep-learning10
sarif10
linux10
playing10
mission-control10
open-source10
machine-learning10
signal10
javascript9
static-analysis9
rpg9
Programming languages (11)
Github contributions (5)
Bnesngo/RusczykCode
Sep 2015 - Jan 2018
Contributions:3 commits, 2 PRs, 3 pushes in 2 years 4 months
rust
h313/wcec-em
May 2016 - Oct 2017
Contributions:279 pushes, 2 branches, 3 comments in 1 year 6 months
emptyjekylljekyll-themestarter-theme
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.