Carnegie Mellon University

Zesen Qian

Zesen Qian

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Hometown: Yuyao, China

Education

Bachelor’s in Software Engineering
Shanghai Jiao Tong University

Research

Type theory, Functional programming, Proof assistants