Limin Jia

Research Professor

Carnegie Mellon University · United States

Software securityFormal software verificationNetwork verificationLanguage-based securityProgramming languagesLogic

简介

Dr. Jia is a Research Professor in the ECE Department at Carnegie Mellon University. Dr. Jia received her PhD in Computer Science from Princeton University. She received her BE in Computer Science and Engineering from the University of Science and Technology in China. Dr. Jia's research interests are in formal aspects of software security, in particular, applying formal logic to constructing software systems with known security guarantees.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。