Avatar

Yixuan Chen

Computer Science Ph.D. Student

Yale University

Biography

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.

Interests

  • Formal Verification
  • Programming Languages
  • Distributed Systems

Education

  • PhD in Computer Science, current

    Yale University

  • BSE in Computer Science Engineering, 2019

    University of Michigan

  • BSE in Electrical and Computer Engineering, 2019

    Shanghai Jiaotong University

Recent Publications

Low-Effort Verification of High-Performance Concurrent Programs

Verification of a Cache-optimized Data Structure

Experience

 
 
 
 
 

Ph.D. student

Yale University

Sep 2019 – Present
 
 
 
 
 

Research intern

Princeton University, Prof. Andrew W. Appel

May 2018 – Aug 2018
 
 
 
 
 

Undergraduate

University of Michigan

Sep 2017 – May 2019
 
 
 
 
 

Intern

Apple Inc.

Feb 2016 – Aug 2017
 
 
 
 
 

Undergraduate

Shanghai Jiaotong University

Sep 2015 – Aug 2019