Teaching

Instructor

COMPSCI4015 Professional Software Development (for Level 4 Students), University of Glasgow; Fall'23, Spring'24, Fall'24, Spring'25;
COMPSCI5093/COMPSCI5104 Secured Software Engineering/Secured Software Engineering for MSc (M) COMPSCI5104 (for Level 5/Msc Students), University of Glasgow; Spring'24, Spring'25;
CS132 Software Engineering, ShanghaiTech University; (Undergraduate) (in English and Chinese) Spring'21,Fall'21 ;
CS224 Program Analysis, ShanghaiTech University; (Graduate) (in English and Chinese) Spring'22;