Limin Jia, With an exceptional h-index of 31 and a recent h-index of 23 (since 2020), a distinguished researcher at Carnegie Mellon University, specializes in the field of Programming Languages, Formal Methods, Security.
His recent articles reflect a diverse array of research interests and contributions to the field:
