Home » user account

jeanyang

Personal information


Ph.D. student at MIT.


Programming language design and software verification.

History


16 years 49 weeks