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.