Registered user since Mon 18 Jan 2016
Name:Limin Jia
Bio:
Limin is Assistant Research Professor, ECE & INI at Carnegie Mellon University. Her research interests are Language-based security, programming language, logic, program verification.
Country:China
Affiliation:Carnegie Mellon University
Personal website: https://www.andrew.cmu.edu/user/liminjia/
Research interests:Security, Programming languages
Contributions
POPL 2016-profile
View general profile
View general profile