Teaching
Courses taught by Naijun Zhan.
I regularly teach and advise courses on formal methods and the design of safety-critical systems.
Courses
- Design of Safety-Critical Systems (PhD; fall 2024)
- Formal Methods (PhD; fall 2022)
- Mathematical Logic and Programming Theories (Graduate; fall 2021)
- Discrete Mathematics (Undergraduate; spring 2017, spring 2019) — course materials available
- Programming Theories (Graduate; fall 2017–2019)