This is not an exhaustive page by any means. I'm always on the lookout for interesting new collaborations to pursue. Please get in touch with me if something here sparks your interest.
- DARPA SAFEDOCS Program: Parsley
PI: Dr. Natarajan Shankar
Role: Lead Researcher for the Parsley Rust Binary and Type Checker 2018 -- 2022
- DARPA RADICS Program: Threat Intelligence for Grid Recovery
PI: Dr. Michael E. Locasto
Role: Lead Researcher for the Network Validation Component 2017 -- 2020