Ambitious Vision for Computer Science Drives Princeton Senior Ye's Research Success
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.