 |
|
Ting Su is a Professor of Software Engineering Institute, East China Normal University, China (2020-). Previously, he was a postdoctoral scholar at ETH Zurich, Switzerland (2019-2020), in the group of Prof. Zhendong Su. He worked as a postdoctoral research fellow with Prof. Yang Liu in Cyber Security Lab (CSL), NTU, Singapore (2016-2019). He got his Ph.D in computer science from East China Normal University (ECNU), Shanghai, China (2011-2016), and was surpervised by Prof. Jifeng He and Prof. Geguang Pu. He also had one-year visit in University of California, Davis (UCD), USA (2014-2015), and was advised by Prof. Zhendong Su. He also worked as a software engineer intern in Synopsys, and a research scientist in Rolls-Royce@NTU Research Lab (2016-2017). He is a recipient of 国家海外青年人才计划.
His research focuses on developing effective methodologies, techniques and tools to improve software quality, reliability and security.
- Stateful Systems/Software (mobile applications, network protocols)
- Compilers, Program Analyzers and Deep Learning Systems
- Symbolic Execution and Constraint Solving
- Formal Verification
[Teaching] [People] [Papers] [Tools & Data] [Projects & Honors] [Academic Services] [Talks] [Advices]
His research work received generous support from Chinese/Swiss NSF, NSF, Huawei, ByteDance, Ant Financial, Google, and won several ACM SIGSOFT Distinguished Paper Awards (ICSE×1, ASE×3, ISSTA×1), Google Faculty Research Award, ACM Student Research Competition Awards (First Place in ICSE'16; Second Place in ICSE'21), and Research Prototype Tool Competition Awards (First Places×2: ChinaSoft'23, NASAC'17). His research on symbolic execution has led to SmartRocket Unit, a commercial automated unit testing tool, which is serving many companies in China for testing industrial embedded software; his continuous research on mobile app analysis and fuzzing has led to several tools and dataset, e.g., Stoat (cited 430+), Themis , Kea and Kea2 and some relevant techniques have been integrated into FastBot. He is also actively developing a course (ecnu-sa-lab ) on software analysis, testing and verification for undergraduate/graduate students.
I am always looking for well-motivated Postdoc, PhD, Master and Undergraduate students to join our research group. If interested, please feel free to drop me an email attached with your CV.
欢迎博士后、博士、硕士以、本科生加入我们的研究小组。如果你对软件分析与验证、软件测试、软件安全、复杂软件与系统、可信人工智能方向感兴趣，欢迎随时邮件联系和交流（招生/招聘启事）