Student achievements: David won the Singapore Data Science Consortium research award 2020.
Research Experience
- Model checking algorithms and tools: Developing the Process Analysis Toolkit (PAT) framework, which supports composing, simulating, and reasoning about various systems.
- Cybersecurity: Working on malware modeling, detection, classification, and generation, with a focus on JavaScript malware, desktop malware, and Android malware.
- Developing tools for vulnerability modeling and detection using machine learning and program analysis techniques.
- Securify research project: Performing formal verification on security systems from hardware to programs to security protocols.
- Automotive Security and autonomous vehicle Security: Researching design, runtime security monitoring and response, and security testing and certification.
- Software Engineering: Working on topics such as program specification learning, performance analysis, Android energy analysis, reliability analysis, code clone analysis, program debugging, program testing, automatic loop analysis, and testing and validating deep learning algorithms.
- Android system: Focusing on security analysis, App malware detection & classification, generation, data analytics, App vulnerability analysis, App testing, Android OS testing and fuzzing, and automatic UI generation.
- Artificial Intelligence: Researching AI's security, robustness, fairness, and explainability, and promoting Deep-Series work and its applications.
- Big Data: Promoting the concept of event analytics based on behavior learning and analysis, and their applications in sports and finance systems.
Education
Insufficient information
Background
Full professor and University Leadership Forum Chair, School of Computer Science and Engineering, Nanyang Technological University. His current research interests are related to Cybersecurity, Software Engineering, and Artificial Intelligence. He is also the Programme Director for HP-NTU Digital Manufacturing Corp Lab, Deputy Director of the National Satellite of Excellence of Singapore, and Cluster Director in Cybersecurity, Energy Research Institute @NTU.