您位于: 首页 / Events / Dr Jun SUN 学术报告会

Dr Jun SUN 学术报告会

Title: TzuYu: Learn for the Better Speaker: Dr. Jun SUN Venue: Room 1504,No.1 Science Building Time : 10:00am—11:30am,28 November 2013

事件详细信息

时间

2013-11-28
起始时间 10:00 结束时间 11:30

地点

1504

名字

把事件添加到日历

Abstract: Behavioral models are useful for various software engineering tasks, especially for model checking. They are, however, often missing in practice. In this work, we propose a fully automated approach to learn stateful typestates by extending the classic active learning process to generate transition guards (i.e., propositions on data states). The proposed approach has been implemented in a tool called TzuYu and evaluated against a number of Java classes. TzuYu is also the starting of our effort on developing practical tools and methods for effective program analysis, through an integration of verification, testing, debugging and learning.

Biography:

SUN, Jun 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 in School of Computing of NUS. Since 2010, he joined Singapore University of Technology and Design (SUTD) as an Assistant Professor.  He was a visiting scholar at MIT from 2011-2012. Jun's research interests include software engineering, formal methods (e.g., formal specification, model checking) and cyber-security. He is the co-founder of the PAT model checker. To this date, he has about 100 journal articles or peer-reviewed conference papers. Jun is also the general co-chair of ICECCS'13 and program co-chair of FM'14.

 

Jun is currently the graduate committee chair for Information System Technology and Design (Computer Science equivalent) at SUTD. In the talk, he will briefly introduce the attractive PhD scholarship at SUTD.