![Limin Jia](https://popl17.sigplan.org/getProfileImage/liminjia/621e8f5b-f3ba-4439-8068-682efd722c67/small.jpg?1711498475000)
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 2017-profile
View general profile
View general profile