Teaching and Talks

    Teaching:

  • 2019/2020, Lecturer, SCC130: Information System, Lancaster University
  • Michaelmas Term 2019 to Summer Term 2020, Supervisor, SCC300: Third Year Student Project, Lancaster University
  • Summer Term 2019, Supervisor, DS591: MSc Data Science Project, Lancaster University
  • Trinity Term 2018, Class Marker and Teaching Assistant, Machine Learning Revision Classes, University of Oxford
  • Trinity Term 2018, Class Marker and Teaching Assistant, Intelligent Systems Revision Classes, University of Oxford
  • Michaelmas Term 2017, Class Marker and Practical Demonstrator, Machine Learning, University of Oxford
  • S1 2017, S1 2015, Practical Supervisor and Tutorial Teacher, Scientific Computing, The University of Adelaide
  • S2 2016, Tutorial Teacher and Workshop Supervisor, Introduction to Software Engineering, The University of Adelaide
  • S1-S2 2016, Workshop and Practical Supervisor, Introduction to Programming, The University of Adelaide
  • S2 2014, S1 2015, S1 2016, Workshop and Practical Supervisor, Introduction to Programming for Engineers, The University of Adelaide

    Invited Talks:

  • 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
  • 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