Yun-Sheng Chang

yschang@mit.edu

I’m a Ph.D. student in the PDOS group at MIT CSAIL. My advisors are Frans Kaashoek and Nickolai Zeldovich. I’m interested in formally verifying sophisticated software components; in particular, crash recovery, concurrency control, and distributed consensus. I believe program proofs are more than evidence of correctness—they should also help us understand why the program works. Better understanding then leads to clean abstractions, simpler code, optimization opportunities, and a happier life in general.

Before coming to MIT in 2021, I was a research assistant at Academia Sinica, Taiwan, where I worked with Yu-Fang Chen and Hsiang-Shang Ko.

I graduated in 2019 from National Tsing Hua University, Taiwan, where I got my B.S. and M.S. degrees in Electrical Engineering. My advisor was Ren-Shuo Liu.

Publications