2019 — present: Researched and released service providing TCP-like reliability over lossy, one-way network links. Oversaw development and V&V of production-grade implementation in Rust. Published results in the proceedings of the IEEE Aerospace Conference Conference.
Developed protocol for distributed consensus agreement for dynamic route selection in challenging network topology. Prototyped solution, oversaw development of production-grade solution in Rust.
Brought engineering rigor to product development: Distilled customer desires into functional- and performance-requirements; created manual and automated test plans; developed test harnesses in Python to validate system capabilities and benchmark performance.
2017 — 2019: Designed, implemented, tested, deployed, and supported the core Gigantum product back-end to enable reproducible data science. Developed core services in Python accessible via a GraphQL API deployed in Docker containers to customer machines and AWS cloud resources.
Managed, mentored, and trained the QA team. Designed QA processes and oversaw the development of the Selenium-based automated test harness and its integration into the CI pipeline.
Built and maintained relationships with key users and partners. Advocated for the product at conference, workshops, and seminars.
2008 — 2017: Led technical team as Principal Investigator on system supporting the safe testing of autonomy algorithms at flight test ranges. Researched model-based autonomy engines and corresponding approaches to formal verification, trained team to produce high-quality software, successfully passed all engineering milestones, and built excellent relationship with sponsors.
Oversaw development of research and Java-based software prototype for sponsored cooperative, multi-agent fault diagnostics and remediation system as Project Manager. Managed team of post-docs, contractors, and staff to meet milestones and mature technology toward operational capability.
Architected, implemented, and supported cross-mission Command and Data Handling (C&DH) spacecraft flight software. Developed build process using CMake, Bash, and Linux for deployment onto mission-specific hardware platforms, such as Embedded Linux, RTEMS, and VxWorks. Implemented flight software backbone and applications in ANSI C, wrote unit tests, and supported deployment to spacecraft testbeds.
2013 — 2016 (Part-time): Developed, scaled and operated a major software system to enable Nextility’s key line-of-business and competitive advantage. This system served to aggregate and normalize the millions of daily power and gas price quotes from dozens of utility companies, and feed them into a front-end for Nextility’s customers and partners to ensure they get the lowest possible price for their power and gas service.
Another major effort included the development of a SCADA system for the monitoring, control, metering and diagnostics of solar installations. This involved the development of a full-stack hardware-software solution, from cloud-based backends interfacing over cell networks to embedded components on serial buses.
2007: Developed hardware serial receiver in VHDL for a laser altimeter instrument.
2006 (Funded by National Science Foundation): Developed an application to maintain calibration data for a particle accelerator.
M.Sc., B.Sc. in Computer Science (2010, 2009 George Washington University). Focus in information security.
Fully sponsored 2008-10 under the National Science Foundation Cyber Corps fellowship.
Reliable, Efficient Large-File Delivery over Lossy, Unidirectional Links. Published in the Proceedings of the 2021 IEEE Aerospace Conference. Big Sky, MT. March 2021.
Maximizing Data Return for the Europa Lander: A Trade Study in the Application of CCSDS Protocols (Co-Author). Published in the Proceedings of the 2017 IEEE Aerospace Conference. Big Sky, MT. March 2017.
State Modeling and Remediation for Autonomous UAV Operations (Co-Author). Presented at the 2016 Workshop on Spacecraft Flight Software at the California Institute of Technology. Pasadena, CA. December 2016.
Ground Operations Emulation for On-Orbit Telerobotics (Co-Author). Published in the Proceedings of the NSBE Aerospace Systems Conference. Arlington, VA. August 2016.
Safe Testing of Autonomy in Complex, Interactive Environments (Co-Author). Presented at the 2016 Safe and Secure Systems and Software Symposium. Dayton, OH. July 2016.
SpaceDrone: Enterprising the Mission-Independent APL Spacecraft Flight Software (w/Team). Recipient of 2015 Johns Hopkins University APL Technical Achievement Award. June 2015.
Investigating Model-Based Autonomy for Solar Probe Plus. Presented at the 2013 Workshop on Spacecraft Flight Software at the California Institute of Technology. December 2013.
Protecting Against DNS Cache-Poisoning Attacks (Co-Author). Presented and Published in the Proceedings of the 6th IEEE ICNP Workshop on Secure Network Protocols. Kyoto, Japan. October 2010.
Dynamic, Non-Interactive Key Management for the Bundle Protocol. Presented and Published in the Proceedings of the 5th ACM MobiCom Workshop on Challenged Networks. Chicago, IL. September 2010.