# Education

# PhD in Mathematics (2025–present)

University of Oklahoma, Norman, OK, USA.

# MSc in Mathematics (2022–2024)

IISER Thiruvananthapuram, Kerala, India.

# BSc in Physical Sciences (2019–2022)

University of Mysore, Karnataka, India.

# Academic Experience

# Graduate Teaching Assistant (2025–present)

Department of Mathematics, University of Oklahoma.

# Mathematics Tutor (2025–present)

Math Center, University of Oklahoma.

# Directed Reading Program (Spring 2026)

# Junior Research Fellow (2024–2025)

Department of Mathematics, IIT Gandhinagar.

# Talks & Outreach

# The Formalization of Mathematics: An Introduction to Lean 4, Spring 2026

OU Math Fest, University of Oklahoma.

# How To Count What You Can’t See?, Spring 2026

Norman Math Circle, University of Oklahoma. A mathematical outreach program for middle school students.

# Conferences, Workshops & Schools

# Texas Geometry and Topology Conference, Spring 2026

Texas Christian University, Fort Worth, TX, United States.

# VBAC 2026, Spring 2026

Universidad Autónoma de Yucatán (UADY), Mérida, Mexico.

# Lean for the Curious Mathematician, Spring 2025

ICTS, Bangalore, India.

# Lie Groups and Representation Theory Workshop, Winter 2024

IISER Berhampur, India.

# Seminar Series on Invariant Theory, Fall 2024

IIT Gandhinagar, India.

# Annual Foundation School (AFS) II, Summer 2024

IISER Bhopal, India.

# Frontier Symposium in Mathematics, Winter 2023

IISER Thiruvananthapuram, India.

# Scholastic Achievements

# CSIR NET/JRF Mathematics (2024, 2023)

# GATE Mathematics (2024, 2023)

# NBHM Scholarship (2023)

# IIT JAM Mathematics (2022)

# Skills

# Languages:

# Technical: