Search form

Home > News > Ambitious Vision for Computer Science Drives Princeton Senior Ye's Research Success

Ambitious Vision for Computer Science Drives Princeton Senior Ye's Research Success

February 15th, 2016
The work of Princeton senior Katherine Ye, a computer science major, cuts across a swath of research areas, including different programming languages and cryptography. She aims to help bridge the gap between academia and industry in realizing the benefits of formal analysis when searching for mistakes in computer systems. Last December, Ye was named an Outstanding Undergraduate Researcher by the Computing Research Association. (Photo by Danielle Alio, Office of Communications)

 

Katherine Ye wants to bring more science to computer science.

Ye, a senior computer science major at Princeton University, is an advocate of formal methods, the process of using mathematical techniques to specify how software should function and to verify that it meets the specifications. In the computer science community, the use of formal methods in programming has been debated since the 1960s. They have not been widely adopted by software companies due to the perception that they require extensive training, add lengthy stages to practical software development, and are incompatible with certain software packages.

Yet the techniques, Ye says, can expose programming errors in software critical for banking, medicine, communications and voting, and could block hackers and thieves.

Read the full story here.

 

© 2017 The Trustees of Princeton University. Back to Top
The Office of Undergraduate Research resides within the Office of the Dean of the College

Contact Us | Calendar | Website Feedback

Back to Top