Teaching

Under-graudate Classes:

• [2025 Spring] Fundamentals of Computing (II)
• [2024 Autumn] Fundamentals of Computing (I)
• [2024 Autumn] Discrete Mathematics
• ...

Graudate Classes:

• [2025 Spring] High Confidence Software Technologies
• [2025 Spring] Advances in Software Engineering
• [2024 Autumn] Principles of Software Analysis
• ...