Directory
Limin Jia received her B.E. in computer science and engineering from the University of Science and Technology of China and her Ph.D. in computer science from Princeton University. Her research interests include language-based security, programming languages, logic, and program verification. Her research focuses on formal aspects of security. She is particularly interested in applying language-based security techniques and formal logic to model and verify security properties of software systems.
Office
2216 Collaborative Innovation Center
Phone
412.268.4605
Email
liminjia@andrew.cmu.edu
Google Scholar
Limin Jia
Websites
Limin Jia's website

Education

Ph.D., Computer Science, Princeton University

BE, Computer Science and Engineering, University of Science and Technology

Affiliations

Media mentions


CyLab Security and Privacy Institute

CyLab faculty earn Amazon Research Awards

CyLab’s Limin Jia, Bryan Parno and Corina Pasareanu recently received Amazon Research Awards in the category of automated reasoning.

CyLab Security and Privacy Institute

First round of Future Enterprise Security Initiative funded projects announced

CyLab’s Future Enterprise Security Initiative is underway as the first round of funded proposals has been announced.

CyLab Security and Privacy Institute

“Adulting” for cybersecurity, GANs, and more: CyLab’s 2022 seed funding awardees

Over $400K in seed funding has been awarded to 18 different faculty and staff across seven departments at Carnegie Mellon to support security and privacy research.

CyLab Security and Privacy Institute

Protect your security and privacy with these tips from CyLab faculty

In celebration of Cybersecurity Awareness Month, a collection of CyLab faculty have shared some tips they recommend following to stay safe online.

CyLab Security and Privacy Institute

New tool automatically finds buffer overflow vulnerabilities

A team of CyLab researchers have designed a new tool that automatically checks for memory bugs—the types of bugs that can lead to buffer overflow exploits, a commonly deployed cyberattack.

CyLab Security and Privacy Institute

A big step towards cybersecurity’s holy grail

The trek towards the holy grail of cybersecurity—a user-friendly computing environment where the guarantee of security is as strong as a mathematical proof—is making big strides.

CyLab Security and Privacy Institute

Phishing, fairness, and more: CyLab’s 2021 seed funding awardees

Over $350K in seed funding has been awarded to 14 different faculty and staff in seven different departments across three colleges at CMU.

CyLab Security and Privacy Institute

Edge computing, ad-blocking, and more: CyLab announces 2020 seed funding awardees

Over $500K in seed funding has been awarded to 10 different CyLab faculty in six different departments across three colleges at CMU.

CyLab Security and Privacy Institute

First round of Secure and Private IoT Initiative funded projects announced

CyLab’s Secure and Private IoT Initiative (IoT@CyLab) has broken ground as the first round of funded proposals have been announced. Twelve selected projects will be funded for one year, and results will be presented at the IoT@CyLab annual summit next year.

CMU

Leaders in cybersecurity gather at CMU for WiCyS Conference

More than 1,200 women, including many College of Engineering faculty and alumnae, gathered from March 28-30 for the Carnegie Mellon’s Women in Cybersecurity (WiCyS) Conference.

CMU Engineering

Reducing complexity to increase security

Carnegie Mellon University team receives $7.5M ONR grant for software complexity reduction, or simplifying complex internet protocols to build greater security.

CyLab Security and Privacy Institute

CyLab team develops promising tool to help prevent cross-site scripting (XSS) attacks

Right now, go to Google.com, search for something (anything) and then look at the search results’ URL. It’s a jumbled mess of numbers, letters, and characters, right? That mess of characters is coordinating the creation of the webpage, displaying a customized list of results based on what you searched for.