I live in Portland, Oregon and work at Galois.
I spend much of my time at Galois as the engineering lead for the SMACCMPilot project, a high assurance quadcopter flight controller.
Some of my work was featured on 60 Minutes in February 2015.
You can find more of my projects on Github.
I studied Electrical Engineering at Rutgers University in New Brunswick, NJ. Some work from my time there: