Congratulations to Jacob Van Geffen for getting accepted into MIT, Carnegie Mellon, University of Washington, UT Austin, Stanford, and UC San Diego for PhD! Jacob is a senior Turing Scholar and has been doing research with Dr. Işıl Dillig on Programming Language Synthesis since his freshman year. He is one of the few undergrads who has ever published a paper to the Programming Language Design and Implementation Conference. You can check out more about Jacob’s research experience here.