Associate Professor Hao Chen

Department of Computer Science
2211 Watershed
University of California
Davis, CA 95616

Personal website: http://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 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 MOPS, which finds security vulnerabilities in C programs.