Presentations and Talks

Invited Talks

  • Feb 2020, Talk at Prof Michael Sheng's group, Title: Safety Verification and Testing on Deep Neural Networks, Department of Computer Science, Macquarie University, Australia

  • Dec 2019: Talk at Key Lab of High Confidence Software Technologies (Invited by Prof Zhi Jin from Peking University), Ministry of Education, Title: Adversarial Robustness of Deep Neural Networks, Peking University, China

  • Mar 2019, Presentation at Centre for Intelligent Systems and their Applications (CISA), Title: Safety Verification and Testing on Deep Neural Networks and its Applications on Safety-critical Systems, School of Informatics, University of Edinburgh, UK

  • Mar 2019, Presentation at Innovative Computing Group, Title: Robust and Explainable Deep Learning Models and their Applications on Internet-of-Health-Things, Department of Computer Science, Durham University, UK

  • Jan 2019, Presentation at Reasoning and Planning Group, Title: Safety Verification and Reachability Analysis on Deep Neural Networks, Department of Informatics, King's College London, UK

  • Jan 2019, Talk at Global Scientist Interdisciplinary Forum, Title: Safety Verification on Deep Learning Systems and its Applications on Digital Health, Department of Computer Science, Southern University of Science and Technology, CN

  • Dec 2018, Talk at Young Scholars for PEIYANG Forum, Title: Safety Verification on Deep Learning Systems and its Applications on Digital Health, Department of Computing and Communications, Tianjin University

  • Oct 2018, Presentation at Digital Health Group, Title: Safety Verification on Deep Learning and its Applications on Digital Health, Department of Computing and Communications, Lancaster University, UK

  • Sep 2018, Talk at Verification of Autonomous Systems Group, Title: Safety Verification and Reachability Analysis on Deep Neural Networks, Department of Computing, Imperial College London, UK

  • April 2018, Invited Lecture at Deep Learning Survey Course, Title: Reachability Analysis of Deep Neural Networks with Provable Guarantees, Department of Computer Science, University of Oxford, UK

  • July 2017, Talk in Prof. Marta Kwiatkowska's Group, Batteryless and Sensorless Human Localization and Gesture Recognition: Enabling the Independent Living for the Elderly, Department of Computer Science, University of Oxford, UK

  • July 2015, Talk at Internet-of-Things Tech Centre, Title: RFID-based Human Indoor Localization and Activity Recognition for Supporting the Independent Living of the Elderly, Tsinghua National Lab for Information Science and Technology, Tsinghua University, CN

Presentations in Conferences

  • IJCAI 2018, UbiComp 2016, CIKM 2016, ADMA 2016, CIKM 2014, etc.