Ti Zhou

I'm a CS PhD candidate at Stony Brook University (since Fall 2023), advised by Prof. Shuai Mu. My research spans two directions — pushing the verification frontier for real-world systems through new formal abstractions, and verifying generative-AI-produced artifacts through formal methods.

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 designing and implementing reinforcement learning agents that run inside the Linux kernel for energy-efficient CPU frequency management.

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