Course Instructors
- Hamed Nemati & Faezeh Nasrabadi for Proof techniques for system verification, hamed.nemati@cispa.de & faezeh.nasrabadi@cispa.de
- Robert Künnemann for Protocol Verification, robert.kuennemann@cispa.de
- Xaver Fabian for Language-Based Information-Flow Control, xaver.fabian@cispa.de
Please, contact the instructors by email only for administrative issues. For Q&A regarding the content of the course use the Q&A sessions.