Three UC San Diego computer science undergraduate students took home top honors at the Symposium on Principles of Programming Languages' Student Research Competition. Darya Verzhbinsky and Daniel Wang were awarded first place for their work on Polymorphic Enumerative Type-Guided Synthesis, and David Cao earned second place for his paper on Automated Dependent Resource Analysis.
All three students conduct research with Professor Nadia Polikarpova in the Computer Science and Engineering Department. In Q&As shared on the Jacobs School of Engineering blog, they discuss why they decided to study computer science, what is exciting about the field, and what else they're involved in on campus.
Read about Darya Verzhbinsky
Read about Daniel Wang
Read about David Cao