Limin Jia is an assistant research professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University. Dr. Jia received her Ph.D. 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.