Brief Bio of
Limin Jia Dr. Jia is an Associate 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.