Aniruddh Srivastava
srivastava.dev
This is the personal portfolio site of Aniruddh Srivastava, a computer science student at Purdue University with minors in Mathematics, Physics, and Electrical and Computer Engineering. He is interested in product management, systems programming, formal verification, and computer architecture.
Personal sites
What it does
- He works on Gibbon and dabbles in formal methods.
- An internship at Cloudflare is listed in his experience.
- He is interested in making the internet better.
- Advent of Code and Cities Skylines are games he plays.
- The site links to what he is listening to.
Good to know
- The site is on the web at srivastava.dev.
- The site is in English.
In their words
I like to dabble in formal methods, and work on Gibbon.
I've interned at Cloudflare and am always down to chat about making the internet better.