Developing a math AI tutor that prompts students toward the correct answer when they struggle with linear algebra proofs, utilizing LEAN4Researching ways to autoformalize NL math proofs into LEAN4 to better compare student proofs with correct proofs

- Teach lab sections of 25 students twice a week lecturing on course concepts and going over discussion worksheets.- Hold office hours for 4 hours a week helping students with conceptual and debugging questions for Data 100.- Help create and review course content

- Held office hours for 2 hours a week helping students with conceptual and debugging questions for Data 100.- Shadowed lab sections where I gave mini-lectures to a group of 30 students and walked through practice problems- Graded homework and project questions weekly.

- Developing API features like modifying fields, adding validation logic, and writing unit tests using Golang, Gin (HTTP web framework), and sqlMock to enhance functionality and performance.- Built a simpler and more flexible workflow to maintain public-facing docs by generating openAPI documentation, writing a python script to run comparisons, and publishing updated documentation.

- Determining club’s application process to align 60+ club members and team leads with projects.- Working on advertisement strategies for the club and represent Codify on different platforms to gain over 100 applicants.- Overseeing projects, making sure the project teams are on track and providing help when needed while communicating with clients about project progress.- Reaching out to companies and pitch project ideas to bring in projects for Codify.

- Designed and built applications for Ruth Bancroft Garden and Birth By Us.- Reached out to companies and pitch project ideas to bring in projects for Codify.

- Led a 4 member team to build a client side dashboard to dynamically create and manage questionnaires for app users.- Implemented google form interface to create and store new surveys for users to save and track their pregnancy data.

- Planned activities for a 1 week bootcamp for incoming freshman girls interested in CS.- Led a family of 12 incoming freshmen women through python workshops, guest speakers, and campus tours.- Eased the transition to college through group bonding activities and helped them explore different subfields of CS.

- Led a 4 member team to build a mobile app for the Ruth Bancroft Botanical Garden which allows users to learn more about certain plants in the garden and navigate their way through it.- Designed marker pages for 24 markers and implemented navigation between them.- Responsibilities include regular interactions with clients to present prototypes and gain feedback on the app.

- Assisting a group of 30 students weekly in lab sections, covering the basics of programming through Python.- Revise and prepare materials to guide students through CS61A: Structure & Interpretation of Computer Programs.

- Working with a 4 member team on redesigning the Southwestern Airlines to make it more user friendly and accessible to underrepresented populations.- Researched pain points of pages in the app through surveys and interviews and developed alternate designs for them.

• Part of the Redmond Youth Partnership Advisory Committee.• Worked with the recreation committee to organize city-wide events like Turkey Days, Snowy Days, Open Mics, Parent Date Nights, and AI/coding workshops where teens can connect and bond. • Organized open-houses to help advertise RYPAC.• Represented city youth in meetings with local leaders including Mayor Birney.

• Went over basics of systems thinking like feedback loops and reading data to create models and make predictions. • Looked through real world datasets (the effects of different types of drugs on mouse gene expression) and analyzed and built models based on the data using Python through Google Colab.

• Developed a scheduler using Python and Microsoft Graph which creates Outlook calendar events in Office 365 given necessary details like time and attendees to streamline meetings and reduce scheduling time and conflicts. • Gained familiarity finding and working with company specific resources online and integratingdifferent applications.

• Worked under Dr. Anurag K Srivastava and his team to develop the user interface for dynamic power grid resiliency network using React and Python. • Gained familiarity with self-learning new coding languages. • Was mentored by a graduate student to display data in graphs & charts from the backend database to help users detect anomalies and their causes.

• Completed hands-on training on how to interact with visitors, and present interactiveactivities, staffed multiple interactive science exhibits like cockroach handling and pocket sciences• Participated in remote activities and check-ins due to COVID.