معرفی
Jie An is an Associate Research Professor (mapped to Researcher due to academic rank list) at the Institute of Software under the University of Chinese Academy of Sciences (UCAS), affiliated with the National Key Laboratory of Space-Based Integrated Information Systems. His work spans formal methods, AI, and cyber-physical systems (CPS), with a focus on hybrid modeling and verification.
- Education: Ph.D. (2020), Master's (2015), and B.S. (2012) in Software Engineering from Tongji University.
Research Interests center on merging formal methods with interpretable AI to address CPS challenges in safety, security, and robustness. Key areas include model learning, signal temporal logic monitoring, and program verification.
Recent Publications highlight collaborations on automata learning, opacity analysis, and optimization-based verification. Papers span venues like ACL, FM, CAV, and HSCC.
Scientific Awards include:
- NSFC Excellent Young Scientists Fund Program (Overseas, 2024-2027)
- CAS Pioneer Hundred Talents Program (2024-2029)
Advising details are not explicitly listed, but his group recruits Ph.D./Master's students, postdocs (including potential CAS Special Research Associates), and research interns. Projects include grants for model learning in intelligent CPS.
