Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Limin Jia

Registered user since Mon 18 Jan 2016

Name: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.

Country:United States
Affiliation:Carnegie Mellon University
Research interests:Security, Programming languages


Show activities from other conferences

POPL 2021-profile
View general profile