Limin Jia

Assistant Research Professor – ECE CyLab INI
Department Electrical and Computer Engineering
Office 2216 Collaborative Innovation Center
Telephone (412)-268-4605
Email
Assistant Kelley Conley

 Limin  Jia

Carnegie Mellon, 2013

Research Area

Computer Systems

Keywords

Language-based security, programming languages, logic and program verification.