Aniruddh Srivastava

CS Honors @ Purdue · Incoming PM Intern @ Cloudflare · Systems, Formal Verification, FPGAs

Junior in CS Honors at Purdue with minors in Math, Physics, and ECE. Incoming PM intern at Cloudflare on the Zero Trust team.

Interested in systems programming, formal verification, and computer architecture. Currently researching LLM-assisted theorem proving in Rocq and Lean.

Annual Advent of Code participant. Online, I go by Noir.