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

• Formal Verification
• Programming Languages
• Artificial Intelligence
• Open Source

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

• Is the IPL Points Table Fair?
• Josaa Counselling Advice
• ES114 Exposition Assignment