jeanyang

Personal information


Ph.D. student at MIT.


Programming language design and software verification.

History


9 years 44 weeks