Yixuan Chen is a Ph.D. student of Computer Science at Yale University. His research interests include formal verification and/of concurrent and distributed systems. He is a member of the FLINT group, working with Professor Zhong Shao on formally verified large-scale systems.
PhD in Computer Science, current
BSE in Computer Science Engineering, 2019
University of Michigan
BSE in Electrical and Computer Engineering, 2019
Shanghai Jiaotong University