I am a Computer Science and Engineering Ph.D. candidate at the University of Michigan, where I am advised by Westley Weimer.

I can usually be found during the workdays in my office in 2909 Bob and Betty Beyster Building.


  • January, 2023 - Our paper titled "How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms" was accepted at ICSE'23.
  • August, 2022 - Our paper titled "LOGI: An Empirical Model of Heat-Induced Disk Drive Data Loss and its Implications for Data Recovery" was accepted at PROMISE'22.
  • June, 2022 - Our paper titled "Digging into Semantics: Where do search-based software repair methods search?" was accepted at PPSN'22.
  • April, 2022 - Our paper titled "Sift: Using Refinement-Guided Automation to Verify Complex Distributed Systems" was accepted at ATC'22.
  • December, 2021 - Received an M.S. degree in Computer Science and Engineering.
  • November, 2021 - Our paper titled "CirFix: Automatically Repairing Defects in Hardware Design Code" was accepted at ASPLOS'22.
  • July, 2021 - Received the Computer Science and Engineering Winter 2021 Graduate Student Instructor Award.
  • February, 2021 - Our paper titled "Applying Automated Program Repair to Dataflow Programming Languages" was accepted at the GI workshop at ICSE'21.
  • December, 2020 - Our paper titled "A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems" was accepted at HSCC'21.
  • September, 2019 - Started my Ph.D. program at the University of Michigan.
  • May, 2019 - Graduated summa cum laude from Washington and Lee University with a B.S. in Computer Science with honors.
  • May, 2019 - Received the Washington and Lee Computer Science Award.
  • April, 2019 - Successfully defended my undergraduate honors thesis.
  • March, 2018 - Inducted into the Phi Beta Kappa National Honors Society.