Carnegie Mellon University

Limin Jia

Limin Jia

Research Professor, Electrical and Computer Engineering
Affiliated Faculty, Cylab

  • 2216 Collaborative Innovation Center
  • 412-268-4605
Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

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.

Education

Ph.D.
Computer Science
Princeton University

BE
Computer Science and Engineering
University of Science and Technology

Research

Keywords

  • Software security
  • Formal software verification
  • Network verification
  • Language-based security
  • Programming languages
  • Logic