Yizhou ZhangView profile
Assistant Professor
Yizhou Zhang is an Assistant Professor in the Department of Computer Science at the University of Waterloo. He holds a PhD and MS from Cornell University (2019 and 2016) and a BS from Shanghai Jiao Tong University (2012). His research focuses on programming languages, including design, implementation, and theory, with emphasis on formal methods, compiler optimization, and probabilistic programming. Education: PhD, Cornell University, 2019 MS, Cornell University, 2016 BS, Shanghai Jiao Tong University, 2012 Research interests span programming language theory, compiler construction, and formal verification. His work explores topics like certified compilers, effect handlers, and probabilistic program analysis. Recent publications emphasize formal models for memoization, nested family polymorphism, and bidirectional control flow. His publications reflect contributions to probabilistic programming semantics, compiler optimization techniques, and type systems. No scientific awards are explicitly listed. Advising and grant details are not provided in the text. Zhang’s research often intersects with formal methods and practical compiler implementation challenges.







