School of
Information Technology and Electrical Engineering

Speaker: Dr Jun SUN
Seminar Date: Tue, 28/11/2017 - 11:00
Venue: 78-420
Host: Prof Ian Hayes

Seminar Type:  ITEE Research Seminar


Many system analysis tasks remain challenging, e.g., program verification, debugging, test case generation and analysis of cyber-physical systems. Yet, experts carry out these tasks successfully. One of the reasons is perhaps that experts are able to identify the right abstraction for completing the task. In this talk, I will introduce a recent line of research from my group on applying machine learning techniques for solving a range of system analysis tasks. As an example, I will demo how it works for analyzing cyber-physical systems.


Sun, Jun is currently an associate professor at Singapore University of Technology and Design (SUTD). He received Bachelor and PhD degrees from National University of Singapore (NUS) in 2002 and 2006. He received the prestigious LEE KUAN YEW postdoctoral fellowship in NUS in 2007 and joined SUTD in 2010. His research interests include software engineering, formal methods, software engineering, program analysis and cyber-security. He is the co-founder of the PAT model checker. Details can be found at