SUN Jun
Full-time Faculty
Professor of Computer Science; Co-Director, Centre for Research for Intelligent Software Engineering; Lee Kuan Yew Fellow
Qualification
- PhD, National University of Singapore, 2006
Teaching Topics
- Software Engineering
- Programming
- Secure Software Engineering
- Program Analysis
- Formal Methods
Research Advisor/Co-Research Advisor to
Research Areas and Areas of Expertise
Strategic Priorities
HighlightsSUN Jun is a leading scholar in formal methods, software engineering, and AI safety, recognized for pioneering research at the intersection of trustworthy AI, automated verification, and cybersecurity.
SUN Jun bridges foundational advances in formal methods and automated verification with real-world impact in AI safety, cybersecurity, and software reliability, driving innovations that emphasize provable guarantees, robustness, and fairness in complex systems; his work is widely adopted in both academia and industry, and he is a sought-after collaborator and keynote speaker.
Focused research areas include Trustworthy and explainable AI; formal specification and verification of AI and software systems; automated testing and fuzzing; security and robustness of deep learning and cyber-physical systems; fairness and safety in large language models; smart contract analysis; runtime monitoring and enforcement.
SUN Jun bridges foundational advances in formal methods and automated verification with real-world impact in AI safety, cybersecurity, and software reliability, driving innovations that emphasize provable guarantees, robustness, and fairness in complex systems; his work is widely adopted in both academia and industry, and he is a sought-after collaborator and keynote speaker.
Focused research areas include Trustworthy and explainable AI; formal specification and verification of AI and software systems; automated testing and fuzzing; security and robustness of deep learning and cyber-physical systems; fairness and safety in large language models; smart contract analysis; runtime monitoring and enforcement.
Areas of Expertise
Formal MethodsAI SafetySoftware Engineering
Past Awarded Grant
- Executable AI Semantics for AI Framework Analysis, Academic Research Fund (AcRF) Tier 2, Ministry of Education (MOE), PI: SUN Jun, 2023, S$648,713
- Trustworthy AI Centre NTU (TAICeN), Cyber Security Agency of Singapore (CSA), Co-PI: XIE Xiaofei, SUN Jun, 2023
- The Science of Certified AI Systems, Academic Research Fund (AcRF) Tier 3, Ministry of Education (MOE), PI: SUN Jun, Co-PI: David LO, JIANG Lingxiao, 2021, S$9,340,776
- Trust to Train and Train to Trust: Agent Training Programs for Safety-Critical Environments, AI Singapore Research Programme, AI Singapore, PI: Pradeep Reddy VARAKANTHAM, Co-PI: Akshat KUMAR, Arunesh SINHA, David LO, 2021, S$6,086,963.76
- Research Programme on Computational Law, Smart Systems Strategic Research Programme, Industry Alignment Fund - Pre-Positioning (IAF-PP) Funding Initiative, Info-communications Media Development Authority of Singapore (IMDA), PI: WONG Meng Weng, Co-PI: GOH Yihan, SC, LAU Kwan Ho, LIM How Khang, Jerrold SOH, 2019, S$15,189,082
Latest Publications
Showing up to 6 latest publications from the past 5 years.
- Y Li, W Zhao, Z Li, NM Min, H Huang, Y Zhao, X Ma, YG Jiang, J SunarXiv preprint arXiv:2603.07452, 2026
- W Zhao, Z Li, Y Li, J SunFindings of the Association for Computational Linguistics: EACL 2026, 307-330, 2026
- WT Wong, J Sun, A SinhaarXiv preprint arXiv:2603.04453, 2026
- Y Zhang, H Wang, X Yang, JS Dong, J SunarXiv preprint arXiv:2602.19844, 2026
- Integrating Path Selection for Symbolic Execution and Variable Selection for Constraint Solving [2026]S Zhu, J Sun, J Wang, Z Chen, P ChengACM Transactions on Software Engineering and Methodology 35 (3), 1-28, 2026
- Z Xiao, J Sun, J ChenarXiv preprint arXiv:2602.11749, 2026
This highlights are AI-generated content using the faculty's CV.
Qualification
- PhD, National University of Singapore, 2006
Teaching Topics
- Software Engineering
- Programming
- Secure Software Engineering
- Program Analysis
- Formal Methods