Anvit Aggarwal



Anvit Aggarwal

Welcome to my personal webpage! Here you can find information about me, my interests, and my projects.

About Me

My name is Anvit Aggarwal. I am a second-year BTech student at IIT Gandhinagar, pursuing a degree in Computer Science and Engineering. My CV is here.

Interests

Projects

Here are some of my recent projects:

  1. Formalisation of Barrington's Theorem in Lean4
  2. Personal Portfolio Website

Contact Me

You can reach me at: anvit.aggarwal@gmail.com

Writing