معرفی
Limin Jia is a Research Professor affiliated with Carnegie Mellon University's CIT Department of Electrical and Computer Engineering and the Computer Science Department. He leads research in systems security, formal verification, and programming language foundations. His work emphasizes compositional assurance for cyber-physical systems and secure software development practices.
Education background is not explicitly stated in the text, but his research focuses on advanced technical domains requiring doctoral-level expertise. Current research interests span cyber-physical systems assurance, software security, and formal methods for program analysis.
Recent work includes groundbreaking studies on compositional assurance for large systems (2025), adversarial attacks on large language models (2024), and Rust-based program verification tools like Crabtree (2024). His team also develops tools such as Nodemedic (Node.js vulnerability analysis) and ProInspector (protocol bug detection). Research outputs bridge theory and practice, with 15+ publications in 2023-2025 alone.
Current advisees include Myra Dotzel, Nuno Sabino, and Rafael Goncalves. Research collaborations involve multi-institutional projects in network security, IoT safety, and compiler verification. Active in both ACM and IEEE conferences, his work has been funded through multiple NSF and industry grants (details not specified in text).
Operates within the Mehrabian Collaborative Innovation Center, fostering interdisciplinary projects at the intersection of electrical engineering, computer science, and cybersecurity. His lab develops both foundational theories and practical tools for improving system security and reliability across domains.
