DoctorChenyi Zhang
Senior Lecturer Above the Bar
Computer Science and Software Engineering
- Senior Lecturer Above the BarComputer Science and Software Engineering
TEACHING & SUPERVISION SUMMARy
MATH230 Logic, Automata, and Computability (2026S1)
COSC369 Programming Languages (2026S2)
COSC437 Security Protocol Verification (2026S2)
I used to participate in the teaching of COSC262 Algorithms and COSC480 Computer Programming.
TEACHING & SUPERVISION
- COURSE TAUGHTProgramming languages14 Jul 2025 - 9 Nov 2025
- COURSE TAUGHTSecurity protocol verification14 Jul 2025 - 9 Nov 2025
- COURSE TAUGHT15 Jul 2024 - 10 Nov 2024