Hanting Zhang

Los Angeles, CA, USA I also go by Winston. Interested in formal mathematics/verification -- I like CS for its application, but math is just better.