Registered user since Mon 18 Jan 2016
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.
|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|
View general profile