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

Registered user since Mon 18 Jan 2016

Name:Limin Jia
Bio:

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

Contributions

PLMW 2021 Invited Speaker in Invited Speakers within the PLMW 2021-track
Connecting Information Flow Types to Runtime Monitors via Gradual Typing
VMCAI 2021 Netter: Probabilistic, Stateful Network Models
Show activities from other conferences

POPL 2021-profile
View general profile