Hi, I am Anirudh Gupta アニルード・グプタ
I'm a third-year BTech student in Mathematics and Computing at the prestigious IISc Bengaluru. My academic journey is fueled by a deep fascination with the interplay between mathematics and computer science, and I'm always excited to explore new research frontiers in this space. I believe in the power of teamwork and I'm dedicated to giving my best in every endeavor.
Beyond academics, I'm a passionate musician, and I find joy in playing the Indian classical Flute and music. I attribute my values and morals from my mother, shaping me into the person I am today. I base my culture from my roots and religion, and follow my principles strongly.
This website is my little corner of the internet to share my projects, my thoughts, and my journey. I hope you find something that interests you!
What I'm Currently Working On
LeanAide and Lean4
I am learning Lean4 and Metaprogramming, working in LeanAide Project under Professor Siddhartha Gadgil, IISc
IISc Courses
Working hard and enjoy learning. Taking the courses I love and want to pursue in life.
Education
Indian Institute of Science (IISc)
B.Tech in Mathematics and Computing
2023 - Present · GPA: 8.5/10 · Bengaluru, India
Sangeet Prabhakar (Music)
Indian Classical Flute · 1st Division
2018 - 2023 · Prayag Sangeet Samiti · Delhi, India
BhaktiVedanta Gurukula & International School
Higher Secondary · ISC Board
2021 - 2023 · Score: 93.8% · Mathura, India
NK Bagrodia Public School
Secondary Education · CBSE Board
2016 - 2021 · Score: 96.2% · New Delhi, India
My Goals
Research
Do research in fields I love and collaborate with peers globally.
Open Source
To contribute to impactful projects and give back to the community.
Greatness
Be clear in concepts, enjoy learning and become great in my field!
Achievements
JEE Advanced 2023 - CRL Rank 737
JEE Mains 2023 - CRL RANK 301
KVPY Scholar 2022 - AIR 777
IOQP 2021–22 State Topper
NMTC 2022 - AIR 7
Instrumental Music Flute - State Rank 1