Aniruddh Srivastava

CS @ Purdue · Systems, Formal Verification, Product Management

Senior in CS at Purdue with minors in Math, Physics, and ECE. Interested in product management alongside systems programming and formal verification.

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.