COMPUTER SCIENCE DEPARTMENT COLLOQUIUM SERIES PRESENTS
“Abstraction for Better Software Engineering “
Singapore University of Technology and Design
Many software engineering tasks are still challenging, e.g., program verification, debugging and test case generation. Yet, expert programmers carry out these tasks daily. 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 automatic techniques for identifying the ‘right’ abstraction. I will demo how it works for analyzing programs as well as cyber-physical systems.
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. He was a visiting scholar at MIT from 2011-2012. Jun’s research interests include software engineering, formal methods, program analysis and cyber-security. He is the co-founder of the PAT model checker.
Date: Monday, March 6th, 2017
Time: 11:00am to 12:00pm
Location: ECS South 2.102 TI Auditorium
Refreshments will be served at 10:45am