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.
Computer ScienceClass of 2009