Ti Zhou

Ph.D. student
Department of Computer Science
Stony Brook University (SBU)

Email: tizhou1 at cs dot stonybrook dot edu
I'm a CS PhD student at Stony Brook University (since Fall 2023), working on practical formal verification of high-performance distributed systems. I'm advised by Prof. Shuai Mu and Prof. Omar Chowdhury, and work closely with Zihao Zhang.
Before joining Stony Brook, I completed my M.Sc. (2023) and Honours B.Sc. (2021) in Computer Science at StFX University in Canada, where I was advised by Prof. Man Lin. I worked on CPU power management in the Linux kernel for embedded systems.

I enjoy many forms of art, and I see computer systems as one of them. I do some painting.

Selected Publication

  • AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations
    Z. Zhang*, T. Zhou* (* co-primary), C. Jenkins, O. Chowdhury and S. Mu.
    SOSP 2025 (to appear), Seoul, South Korea, October 2025.

  • CPU Frequency Scheduling of Real-Time Applications on Embedded Devices with Temporal Encoding-based Deep Reinforcement Learning
    T. Zhou and M. Lin.
    Journal of Systems Architecture, 2023. [PDF]
    [Software: Neural Network in Linux kernel]
    [A Linux Contribution]
    [Profiling CPU power management in Linux]
    [A follow-up work scales the method to multiple tasks]

    • Students Mentored

    Yitong Zhao: 2024 - Now, High School -> Undergrad@UIUC.
    Xinyi Li: 2022 - 2024, Undergrad@StFX -> M.Sc@Dalhousie.
    Haoyu Wang: 2022 - 2024, Undergrad@StFX -> M.Sc@Dalhousie.
    I designed and led projects based on my M.Sc. thesis for Xinyi [PDF] and Haoyu [PDF] , each of which led to a publication in IEEE Trans. on Sustainable Computing.