Michelle Ding

Michelle Ding

Assistant Coach for Skate Therapy

Followers of Michelle Ding827 followers
location of Michelle DingGreater Houston

Connect with Michelle Ding to Send Message

Connect

Connect with Michelle Ding to Send Message

Connect
  • Timeline

  • 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 - 2025
      Bachelor of Science - BS Mathematics
    • The University of Texas at Austin

      2021 - 2025
      Bachelor of Science - BS Computer Science
  • Experience

    • U.S. Figure Skating

      Jan 2018 - Jan 2020
      Assistant Coach for Skate Therapy

      Designed 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 2024

      Design, 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 2024
      • Undergraduate Teaching Assistant

        Jan 2023 - Dec 2023
      • Undergraduate Research Assistant

        May 2023 - Aug 2023
      • Undergraduate Teaching Assistant

        Aug 2022 - Dec 2022
      • Undergraduate Research Assistant

        Jun 2022 - Dec 2022
      • Undergraduate Research Assistant

        Jun 2022 - Jul 2022
    • The University of Texas at Austin

      May 2024 - now

      Graded 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 - now
      • Undergraduate Research Assistant

        May 2024 - now
    • Trend Micro

      Jun 2024 - Aug 2024
      Research & Development Intern
  • Licenses & Certifications

    • CPR/AED

      National Academy of Sports Medicine (NASM)
      Jun 2023
  • Honors & Awards

    • Awarded to Michelle Ding
      Leonard E. Huber Endowed Scholarship The University of Texas at Austin Aug 2024
    • Awarded to Michelle Ding
      UT Math Club Vice President UT Mathematics Club Mar 2023
    • Awarded to Michelle Ding
      UTPC Core Problem Writer UT Programming Club Mar 2023
    • Awarded to Michelle Ding
      US Figure Skating, Silver Level US Figure Skating Association Jul 2022
    • Awarded to Michelle Ding
      FRI Summer Research Grant Recipient Freshman Research Initiative - The University of Texas at Austin Jun 2022
    • Awarded to Michelle Ding
      Ada Mae Janick Marshall Endowed Presidential Scholarship George and Ada Mae Janicke Marshall Aug 2021
    • Awarded to Michelle Ding
      Two-time AIME Qualifier Mathematical Association of America Feb 2021
    • Awarded to Michelle Ding
      National Merit Scholarship Finalist NMSC Jan 2021
    • Awarded to Michelle Ding
      Mu Alpha Theta National Grant Recipient Mu Alpha Theta National Honor Society Jul 2020
    • Awarded to Michelle Ding
      International Music Talent Competition First Place Winner American Protégé Mar 2020