Limin Jia is a Research Professor of Electrical and Computer Engineering Department at Carnegie Mellon University. She is also a member of CyLab, Carnegie Mellon's computer security and privacy institute. Jia received her Ph.D. from Princeton in 2008. Jia’s research is in the intersection of computer security, programming languages, and formal method.