Department of Computer Science
\n2211 Watershed
\nUniversity of California
\nDavis, CA 95616<\/p>\n
Personal website:\u00a0http:\/\/www.cs.ucdavis.edu\/~hchen\/<\/p>\n
Email: chen at ucdavis.edu
\nPhone: 530-754-5375<\/p>\n
Professor Chen’s research interests focus on significant and difficult problems of computer security and software verification. These two topics relate to each other, in that it is crucial to verify that computer programs do not have bugs that may result in security vulnerabilities. By combining theoretical insights with detailed knowledge of real computer systems, Mr. Chen’s work results in practical, usable security verification systems. Mr. Chen is best known for his tool\u00a0MOPS<\/a>, which finds security vulnerabilities in C programs.<\/p>\n","protected":false},"excerpt":{"rendered":" Associate Professor Hao Chen Department of Computer Science 2211 Watershed University of California Davis, CA 95616 Personal website:\u00a0http:\/\/www.cs.ucdavis.edu\/~hchen\/ Email: chen at ucdavis.edu Phone: 530-754-5375 Research Professor Chen’s research interests focus on significant and difficult problems of computer security and software verification. These two topics relate to each other, in that \u2026 Continue reading