Ph.D. Students
- Siow Jing Kai (2017 Jan) Part-time
- Liu Shangqing (2019 Jan) Full-time
- Palina Tolmach (2019 Jan) SINGA
- David Berend (2019 Aug) SINGA
- Zhang Cen (2019 Aug) Full Time
- Liu Chengwei (2019 Aug) Full Time
- Tang Yun (2019 Aug) Full Time - Alibaba
- Brandon Goh Wen Heng (2019 Aug) Full Time - HP
- Yang Xuehuan (2020 Jan) Part Time
- Li Zhiming (2020 Aug) Full Time
- Li Tianlin (2020 Aug) Full Time
- Zhang Lvye (2020 Aug) Part Time
- Deng Gelei (2020 Aug) Part Time
- Liu Yi (2021 Jan) Full Time
Master Student by Research
- Zhao LiDa (2020 Aug)
- Peng Lunan (2016 Aug - 2019 Aug)
Post Doc
- Fan Lingling (2019 Sep)
- Chen Sen (RAP 2020) (2019 Sep)
- Zhou Yuan (2016 Jan)
- Zheng Yaowen (2020 Nov)
- Xie Xiaofei (PPF 2019) (Aug 2018 -)
- Albert Rizaldi (Oct 2018 -)
- David Sanan (Feb 2015 - )
- Guo Qing (PPF 2020) (2019 - )
- Li Yuekang (2020 - )
- Zheng Yan (2019 - )
Visiting Researcher and Students
- Chen Bihuan (Fu Dan Univerisity) (Sep 2013 - March 2014)
- Song Fu (East China Normal University) (July 2014 - Sep 2014)
Alumni
- Guo Shangwei (April 2019 - 2020), now faculty at Chongqing University
- Wang Run (April 2019 - 2020), now faculty at Wuhan University
- Sun Jianwen (Aug 2018 - 2020)
- Feng Ruitao (2016 Jan - 2020 Dec) Ph.D. thesis: From Market to Device: Adaptive and Efficient Malware Detection for Android
- Xu Zhengzi (2015 Aug - 2020 Dec) Ph.D. thesis: Semantic Driven Vulnerability Detection and Patch Analysis
- Wang HaiJun (Feb 2017 - 2019)
- Su Ting (Aug 2016 - 2019), now Professor of Software Engineering Institute, East China Normal University,
- Zhang FuYuan (April 2015 - 2019)
- Yang Fei (April 2019 - Dec 2019)
- Kan ShuangLong (Aug 2017 - 2019)
- Li Yue Kang (2016 Jan - 2020 June) Ph.D. thesis: Semantic-based Vulnerability Analysis of Software. Now Research Assistant Professor in NTU.
- Du Xiaoning (2015 Aug - 2020 Jan) Ph.D. thesis: Towards Secure and Robust Stateful Deep Learning Systems with Model-Based Analysis
- Chen HongXu (2016 Jan - 2020 Jan) Ph.D. thesis Securing Software Systems via Fuzz Testing and Verification
- Zhou Yuan (2016 Jan - 2019 Aug) Ph.D. thesis Distributed approaches to motion planning and control in multi-robot systems now as Post Doc at NTU
- Hu Hesuan (May 2013 - Nov 2018)
- Hou XiaoLu (Aug 2017 -Nov 2018)
- Hou JingHua (Dec 2013 - Jan 2019) Ph.D.
- Wang Junjie (Jan 2015 - Jan 2019) Ph.D., thesis Detection and Analysis of Web-based Malware and Vulnerability,
- Chen Chunyang (2013 - 2018) Ph.D., thesis "Distilling Crowd Knowledge from Software-Specific Q&A Discussions For Assisting Developers' Knowledge Search", now lecturer at Monash University
- Wang Dongxia (Aug 2013 - Dec 2017) Ph.D., thesis Quantifying and Improving Robustness of Trust Systems, now a post doc in Oxford University.
- Wei Lei (May 2015 - 2018)
- Chen Bihuan (July 2014 - 2017, now faculty in Fu Dan University)
- Xue Yinxing (2014 - 2017, now faculty in University of Science and Technology of China)
- Xiao Hao (Aug 2013 - Sep 2017) Ph.D., thesis Automatic Model Learning and its Applications in Malware Detection, now a post doc in SUTD.
- Meng Guozhu (Dec 2012 - May 2017) Ph.D., thesis A Semantic-based Analysis of Android Malware for Detection, Generation, and Trend Analysis
- Wu Zhimin (Aug 2013 - May 2017) Ph.D., thesis Parallelizing Model Checking Algorithms Using Multi-Core and Many-Core Architectures
- Sanjeev Kumar Das (Aug 2012 - Feb 2017) Ph.D. under SINGA Scholarship, Thesis Hardware-Assisted Online Defense Against Malware and Exploits
- Kong Pingfan (Aug 2013 - 2016 Jan), Master, thesis Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling
- Zou Liang (Nov 2016 - May 2017)
- Zhao YongWang (April 2015 - Oct 2016)
- Tim Muller (Nov 2013 - Aug 2016), now a lecturer in Oxford University.
- Akin GUNAY (Nov 2013 - Sep 2016) Henri Hansen (Post Doc) at Tlab (Feb 2012 - Feb 2013)
- Song SongZheng (Post Doc) (May 2013 - Aug 2014)
- Hao Jianan RA at Tlab (2012 - Sep 2014)
- Wang Ting RA at Tlab (2012 - Sep 2014)
- Shi JianQi (Post Doc at Tlab) (March 2014 - Feb 2015)
- Shang-Wei Lin (Post Doc at Tlab) (Oct 2011 - Nov 2014)