Steinway Wu Ph.D. Student Home on the internet.

I’m a Ph.D. student in computer science, advised by Prof. Hongwei Xi, working primarily on the programming language ATS. My research topic is on session types, a behavior type system for ensuring that communication protocols be correctly implemented.

Besides research, I contribute a little on Github. I travel and photograph a lot. I just entered the fantastic world of medium format film photography with a second hand Mamiya RB67. I play piano, and I’m learning guitar.

last updated: Tue, Oct 04, 2016