SUN, Jun is currently an associate professor at Singapore University of Technology and Design (SUTD). He received Bachelor and PhD degrees in computing science from National University of Singapore (NUS) in 2002 and 2006. In 2007, he received the prestigious LEE KUAN YEW postdoctoral fellowship. He has been a faculty member of SUTD since 2010 and was a visiting scholar at MIT from 2011-2012. Jun’s research interests include software engineering, cyber-security and formal methods. He is the co-founder of the PAT model checker. He has published more than 180 articles and conference papers including top conferences in multiple areas.