Limin Jia

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

 Limin  Jia

Carnegie Mellon, 2013

Keywords

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