ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Jun Sun

Registered user since Sun 30 Oct 2016

Name: Jun Sun

Bio: SUN, Jun is an associate professor at Singapore University of Technology and Design. 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 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, program analysis and cyber-security. He is the co-founder of the PAT model checker.

Country: Singapore

Affiliation: Singapore University of Technology and Design

Personal website: http://people.sutd.edu.sg/~sunjun/

Research interests: formal methods, software engineering, cyber-security

Contributions

FASE 2019Committee Member in Program Committee within the FASE 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile