About

Jason’s research interests include Artificial Intelligence, theoretical computer science, and bioinformatics. He wrote his undergraduate honors thesis on return on investment maximization in sponsored search auctions. He is currently developing piVC, a verifying compiler that accompanies the textbook The Calculus of Computation, by Zohar Manna and Aaron Bradley. In the past, he has been a Section Leader in the CS106 program and a Software Engineering Intern at Microsoft. This summer, he is working on Artificial Intelligence algorithms to be used in haplotype phasing with partial pedigree data.

Education

Stanford University

Computer Science

Class of 2009

Awards & Publications