SUN Jun
Full-time Faculty
Professor of Computer Science; Co-Director, Centre for Research for Intelligent Software Engineering; Lead Principal Investigator; Lee Kuan Yew Fellow
School of Computing and Information Systems
SCIS
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, renowned for advancing trustworthy and secure intelligent systems through innovative research and impactful academic leadership.
SUN Jun bridges foundational formal methods with practical software engineering and AI safety challenges, delivering novel verification, testing, and security solutions that are widely adopted in academia and industry; his work is distinguished by methodological rigor, cross-disciplinary relevance, and a strong emphasis on trustworthy, explainable, and robust intelligent systems.
Focused research areas include Trustworthy and certified AI systems; formal verification and validation of intelligent and cyber-physical systems; automated testing and fuzzing for software and AI; security and robustness of neural networks and large language models; fairness and explainability in socio-technical systems; smart contract analysis; runtime enforcement and monitoring.
SUN Jun bridges foundational formal methods with practical software engineering and AI safety challenges, delivering novel verification, testing, and security solutions that are widely adopted in academia and industry; his work is distinguished by methodological rigor, cross-disciplinary relevance, and a strong emphasis on trustworthy, explainable, and robust intelligent systems.
Focused research areas include Trustworthy and certified AI systems; formal verification and validation of intelligent and cyber-physical systems; automated testing and fuzzing for software and AI; security and robustness of neural networks and large language models; fairness and explainability in socio-technical systems; smart contract analysis; runtime enforcement and monitoring.
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 (Project Level): SUN Jun, 2023, S$648,713
- Trustworthy AI Centre NTU (TAICeN), Cyber Security Agency of Singapore (CSA), Co-PI (Project Level): XIE Xiaofei, SUN Jun, 2023
- The Science of Certified AI Systems, Academic Research Fund (AcRF) Tier 3, Ministry of Education (MOE), PI (Project Level): SUN Jun, Co-PI (Project Level): 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 (Project Level): Pradeep Reddy VARAKANTHAM, Co-PI (Project Level): 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 (Project Level): WONG Meng Weng, Co-PI (Project Level): 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