• Sanjai Narain
  • Unit: Perspecta Labs
  • Organization: Perspecta Labs
  • Interests: Network security, symbolic logic, programming languages, logic programming