S.C. CHEUNG (張成志)
Professor of Computer Science and Engineering
CASTLE Research Group
Shing-Chi (S.C.) Cheung received his Bachelor's degree in Electrical and Electronic Engineering from the University of Hong Kong, and his PhD degree in Computing from the Imperial College London. After doctoral graduation, he joined the Hong Kong University of Science and Technology (HKUST) where he is a professor of Computer Science and Engineering. He founded the CASTLE research group at HKUST and co-founded in 2006 the International Workshop on Automation of Software Testing (AST). He serves on the editorial board of Science of Computer Programming (SCP) and Journal of Computer Science and Technology (JCST). He was an editorial board member of the IEEE Transactions on Software Engineering (TSE, 2006-9) and Information and Software Technology (IST, 2012-5). He participates actively in the program and organizing committees of major international software engineering conferences. He chaired the 19th Asia-Pacific Software Engineering Conference (APSEC) in 1996, 1997 and 2012. He was the General Chair of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014). He is an extended member of the ACM SIGSOFT executive committee. He owns seven patents in China and the United States. His research interests focus on the use of advanced testing, analysis, AI techniques and empirical experimentation techniques for the detection, diagnosis and repair of faults in dependable and intelligent software systems. He is an ACM Distinguished Member and an IEEE Fellow.
Note: Traveling direction to our campus is available here. Campus lift plan is available here. (Virtual campus tour / Google Map of HKUST)
Software engineering - To boost code quality using program analysis, testing and debugging, large language models, AI, synthesis and software analytics. Target applications include mobile apps, open-source projects, deep learning systems, web applications, blockchain applications (including smart contracts and DApps), and spreadsheets.
COMP5111: Fundamentals of Software Testing and Analysis (Spring 2023)
COMP3021: Java Programming (Fall 2022)
CSIT5100: Engineering Reliable Object-Oriented Software Systems (Fall 2022)
Science of Computer Programming (SCP)
Look at the birds flying around: they do not sow seeds, gather a harvest and put it in barns; yet your Father in heaven takes care of them! Aren't you worth much more than birds? Can any of you live a bit longer by worrying about it? Instead be concerned above everything else with the Kingdom of God and with what your Father requires of you, and he will provide you with all these other things. So do not worry about tomorrow; it will have enough worries of its own. There is no need to add to the troubles each day brings. (Matthew: 6:26-27, 33-34)