jeanyang

Personal information


Ph.D. student at MIT.


Programming language design and software verification.

History


11 years 35 weeks