jeanyang

Personal information


Ph.D. student at MIT.


Programming language design and software verification.

History


10 years 2 days