
Michelle Ding
Assistant Coach for Skate Therapy

Connect with Michelle Ding to Send Message
Connect
Connect with Michelle Ding to Send Message
ConnectTimeline
About me
'25 CS Turing Scholar Honors + Mathematics Double Major + Business Minor at the University of Texas at Austin
Education

The University of Texas at Austin
2021 - 2025Bachelor of Science - BS Mathematics
The University of Texas at Austin
2021 - 2025Bachelor of Science - BS Computer Science
Experience

U.S. Figure Skating
Jan 2018 - Jan 2020Assistant Coach for Skate TherapyDesigned activities and led on-ice sessions to help individuals with physical and developmental disabilities. Program terminated due to COVID pandemic.

The University of Texas at Austin
Jun 2022 - Feb 2024Design, implement and test the accuracy of Retrieval-Based Augmented Generation models in comparison to classical models when using a chatbot to answer questions about IFML NeurIPS papers. Led by Dr. Adam Klivans in the IFML department. Led in-class activities and graded exams for the Quantum Computing FRI class under Dr. Noah Davis. Work on Spectral Guarantees for Adversarial Streaming PCA under Dr. Eric Price. Led discussion and graded exams for Discrete Mathematics Honors class under Dr. Isil Dillig. Created the GUI for a program synthesis-based approach to batch image processing under Dr. Isil Dillig. Researched quantum optics at the J.J. Pickle Research Campus. Funded by the FRI Summer Fellowship Recipient grant. Used class 3B Laser systems to replicate SPDC and Bell's Inequality experiments led by Dr. Noah Davis.
Undergraduate Research Assistant
Nov 2023 - Feb 2024Undergraduate Teaching Assistant
Jan 2023 - Dec 2023Undergraduate Research Assistant
May 2023 - Aug 2023Undergraduate Teaching Assistant
Aug 2022 - Dec 2022Undergraduate Research Assistant
Jun 2022 - Dec 2022Undergraduate Research Assistant
Jun 2022 - Jul 2022

The University of Texas at Austin
May 2024 - nowGraded problem sets for Quantum Information Science (QIS) Honors class taught by Scott Aaronson Co-author of the paper PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition. Formalized over 1,000 Putnam problems in Lean/Coq/Isabelle. Won Best Paper Award at the ICML 2024 AI for Math Workshop.
Undergraduate Grader
Aug 2024 - nowUndergraduate Research Assistant
May 2024 - now

Trend Micro
Jun 2024 - Aug 2024Research & Development Intern
Licenses & Certifications
.webp)
CPR/AED
National Academy of Sports Medicine (NASM)Jun 2023
Honors & Awards
- Awarded to Michelle DingLeonard E. Huber Endowed Scholarship The University of Texas at Austin Aug 2024
- Awarded to Michelle DingUT Math Club Vice President UT Mathematics Club Mar 2023
- Awarded to Michelle DingUTPC Core Problem Writer UT Programming Club Mar 2023
- Awarded to Michelle DingUS Figure Skating, Silver Level US Figure Skating Association Jul 2022
- Awarded to Michelle DingFRI Summer Research Grant Recipient Freshman Research Initiative - The University of Texas at Austin Jun 2022
- Awarded to Michelle DingAda Mae Janick Marshall Endowed Presidential Scholarship George and Ada Mae Janicke Marshall Aug 2021
- Awarded to Michelle DingTwo-time AIME Qualifier Mathematical Association of America Feb 2021
- Awarded to Michelle DingNational Merit Scholarship Finalist NMSC Jan 2021
- Awarded to Michelle DingMu Alpha Theta National Grant Recipient Mu Alpha Theta National Honor Society Jul 2020
- Awarded to Michelle DingInternational Music Talent Competition First Place Winner American Protégé Mar 2020
Languages
- chChinese
- enEnglish
Recommendations

Chris donnelly
Oracle and Java DeveloperGreater Perth Area
Juan pablo valdés gramer
Head of Data & Analytics | ESADE Executive Master in Business Analytics | Co-founder, PersonalíticaBarcelona, Catalonia, Spain
Esslam el sokkary,mba, pmp®,bsc pharma®
Sales & Operation Manager Southern Region , United Pharmaceutical CompanyJeddah, Makkah, Saudi Arabia
Joseph carter, lpc, cfi
Sr. On-Road Risk LP Manager at AmazonChino, California, United States
Jessica heim
Entwicklungsberatung & CoachingRheinbach, North Rhine-Westphalia, Germany
Orsolya kis
BT Meetings Team Leader at BTDebrecen, Hajdú-Bihar, Hungary
Mariana podoliako
Publisher Development Manager | Romania at MGIDDraper, Utah, United States
Mike joseph musembi
I.T Support Manager at JW Seagon & CompanyKenya
David bryan
Senior Marketing Director/Co-Owner Of PHP Agency, Inc.Los Angeles, California, United States
Berfu yontucu
Marketing Communications Professional | Project Manager | Project CoordinatorHelsinki, Uusimaa, Finland
Khairul ridhwan
Information Technology Support Specialist at ConocoPhillipsWP. Kuala Lumpur, Federal Territory of Kuala Lumpur, Malaysia
Eder luis goes paraiso
Product Manager | Product Owner | Open Banking & Finance | BaaS | Pagamentos | Conta DigitalCuritiba, Paraná, Brazil
Martin stavrev
Sales Manager at EzimitNorth Macedonia
Abraham muñoz
Senior Software EngineerÁrea metropolitana de Guadalajara, México
David v. jones, ed.d., cprw
Leader in Higher Education Student Affairs | Collaborator | Consensus Builder | Mentor | Student Suc...Atlanta, Georgia, United States
Shruti powar
Associate Software Developer at Infosec IT India | Computer Science Engineer | Python | SQL | C++| C...Gadhinglaj, Maharashtra, India
Yoke fang lim
Accounting Manager at Accounting Firm | Former Assistant Audit Manager at KPMG MalaysiaPetaling Jaya, Selangor, Malaysia
Angela chang
Montessori Parent Educator, English as a Foreign Language TeacherPittsburgh, Pennsylvania, United States
Sabina tańska
HR miękki / rekrutacja / edukacja / szkolenia / EB / nauczycielka przedszkola / nauczycielka edukacj...Świętochłowice, Śląskie, Poland
Jason doyle
Business Development Manager for Kitchen & Bathroom products.Ireland
...