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.
|VMCAI 2021||Netter: Probabilistic, Stateful Network Models|
|PLMW 2021|| Invited Speaker in Invited Speakers within the PLMW 2021-track|
Connecting Information Flow Types to Runtime Monitors via Gradual Typing
|Show activities from other conferences|
View general profile