Prashant Anantharaman

Projects

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