Write a Blog >>
Limin Jia

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
Research interests:Security, Programming languages

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile