Jason Auerbach

Stanford University , 2009
Computer Science
photo of scholars location icon



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.


Stanford University

Computer Science

Class of 2009

Awards & Publications

More Scholars