Timothy Zhou

profile.jpg

Hello! I’m a first-year PhD student at UCSD in the Programming Systems group. My goal is to find ways to help programmers reason about and write correct code. To that end, my research interests are in program synthesis, program verification, and related areas.

I did my undergrad at UIUC, where I graduated with degrees in CS and Math in 2024. While there I was advised by Talia Ringer as part of the Illinois Theorem Provers lab. I also spent two summers at CMU as part of the REUSE program, working under Jonathan Aldrich.

news

Sep 23, 2024 I started my PhD.
May 01, 2024 I graduated from UIUC.
Oct 26, 2023 Historiographer won first place at the SPLASH Student Research Competition (undergraduate divsion).

papers

  1. Passport: Improving Automated Formal Verification Using Identifiers
    Alex Sanchez-Stern*, Emily First*, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, and Talia Ringer
    TOPLAS, 2023
    DOI
  2. Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
    Julia Freeman*, and Timothy Zhou*
    SPLASH Student Research Competition (First Place), 2023
    DOI