TEACHING

2022.11 - present Lecturer at the University of Liverpool

• from 2023, Second Semester: COMP313 Formal Methods

• 2022-2023 Second Semester: COMP524 Safety and Dependability 

2020-2021 Lecturer at Balliol College, University of Oxford 

• Michaelmas Term: Compilers,  Discrete Maths

• Hilary Term: Digital Systems and Concurrent Programming

• Trinity Term: Digital Systems

2019-2020 Marking and tutorial teaching in Department of Computer Science, University of Oxford

• • Michaelmas Term: Class Teaching for Automata, Logic and Games;

  • Trinity Term: Marking  for Computer Aided Formal Verification and Computational Complexity.

2014-2018 Marking and tutorial teaching at York University, Canada 

• • EECS4315 Mission Critical Systems (lab demonstrating and guest lectures on Java PathFinder);

  • EECS/MATH1019 Discrete Math for Engineers (tutorial/problem class teaching) ; 

  • EECS1020 Introduction to Computer Science (lab demonstrating - Java programming);

  • EECS1011 Introduction to Computer Science II (lab demonstrating - MATLAB programming) 

  • EECS4312 Software Engineering Requirements (lab demonstrating and marking); 

  • EECS3101 Design and Analysis of Algorithms (marking); 

  • EECS2001 Introduction to Theory of Computation (marking). 

PROFESSIONAL SERVICES

Program Committee

• Symposiumon Software Engineering for Smart Systems (SSESS), 2020, 2019

Artifact Evaluation Committee

• European Conference on Object-Oriented Programming (ECOOP), 2020

• SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2019

•  Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2019

Reveiwer

• International Journal of Foundations of Computer Science (IJFCS 2021), Information and Computation (2015, 2023), Logical Methods in Computer Science (LMCS 2024), The Journal of Supercomputing (2024)

• CONCUR (2022, 2018, 2016), TACAS (2022, 2019), STACS (2022, 2024), FoSSaCS (2021, 2019, 2018, 2017), ICALP (2017), TASE (2017)

PhD Internal Examiner

• Peipei Xu,  Towards Reliable Deep Learning Models: Risk Quantification and Robustness Verification, (2024)