Teaching

Teaching-Software-Verification

Contributor of Teaching-Software-Verification an online open courses for learning software verification via SVF.

Teaching-Software-Analysis

Contributor of Teaching-Software-Analysis an online open courses for learning software analysis via SVF.

List of Experiences

• Tutor and lab demonstrator, 41128 Software Analysis Studio, UTS, 2024.
• Tutor and lab demonstrator, 41184 Secure Programming and Penetration Testing, UTS, 2024
• Lecturer and marking, 41184 Secure Programming and Penetration Testing, UTS, 2023
• Tutor and lab demonstrator, 41128 Software Analysis Studio, UTS, 2023.
• Tutor and lab demonstrator, Software Analysis, SSTC Software Engineering Studio, NEUQ, 2023.
• Lecturer and marking, 41184 Secure Programming and Penetration Testing, UTS, 2022
• Lecturer, 41128 Software Analysis Studio, UTS, 2022.
• Lecturer, Software Analysis, SSTC Software Engineering Studio, NEUQ, 2022.
• Tutor, 41128 Software Analysis Studio, UTS, 2021.
• Lecturer, Software Analysis, SSTC Software Engineering Studio, NEUQ, 2021.
• Tutor and marking, 41184 Secure Programming and Penetration Testing, UTS, 2021