HELLO, MY NAME IS

Peixin You

PhD Student

peixin dot you @ yale dot edu

HyleIndex

About Me

I am a PhD student at Yale advised by Prof. Zhong Shao. My research interests lie in formal verification, logic, category theory, and game semantics.

I design compositional theory to verify large-scale real-world systems

My research is dedicated to building mathematical frameworks that guarantee the correctness of complex software systems, from today’s concurrent hardware to the emerging frontier of quantum computing. ⚛️

My foundational work in formal verification produced crash-aware linearizability, a novel technique to ensure software reliability on systems with persistent memory, even through system failures. I am now extending these principles to tackle the challenges of modern multi-core processors that use relaxed memory models.

Looking forward, I am applying these rigorous verification techniques to the domain of quantum computing. As quantum systems scale, ensuring the correctness of their algorithms and communication protocols is a critical challenge. My goal is to develop the formal tools necessary to build provably reliable software for both classical and quantum technologies, ensuring that the next generation of computing is built on a foundation of trust.