Rhea Karty
Rhea Karty

Hello! I'm into formal methods, security, and functional languages. I studied CS and Economics at Dartmouth.

Updates
Winter 2026:
  • ERA Fellowship for AI security research.
Fall 2025:
  • Harvard SEAS predoctoral fellow. Worked on Dafny Sketcher.
  • Book chapter on vector-borne diseases — Infectious Disease Epidemiology, 4th ed., 2025. Now out.
Spring 2025:
  • Towards Low-Cost Verification: Automating Image-Based Analysis of Silicon Chips — bachelor's thesis. With bunnie and Prof. Sergey Bratus.
Summer 2024:
  • Harvard SEAS visiting undergrad researcher with Nada Amin and Will Byrd.
Winter 2024:
  • Attended the Recurse Center.