908 458 6675
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, an open source autopilot for quadcopters written with new high-assurance languages.
We have submitted a paper on this project to ICFP 2014.
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: